@inproceedings{Pankratius:2011:STM:1989493.1989500,
 author = {Pankratius, Victor and Adl-Tabatabai, Ali-Reza},
 title = {A study of transactional memory vs. locks in practice},
 booktitle = {Proceedings of the 23rd ACM symposium on Parallelism in algorithms and architectures},
 series = {SPAA '11},
 year = {2011},
 isbn = {978-1-4503-0743-7},
 location = {San Jose, California, USA},
 pages = {43--52},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1989493.1989500},
 doi = {http://doi.acm.org/10.1145/1989493.1989500},
 acmid = {1989500},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {transactional memory},
}

@article{JikesAlpern:2005:JRV:1086608.1086625,
 author = {Alpern, B. and Augart, S. and Blackburn, S. M. and Butrico, M. and Cocchi, A. and Cheng, P. and Dolby, J. and Fink, S. and Grove, D. and Hind, M. and McKinley, K. S. and Mergen, M. and Moss, J. E. B. and Ngo, T. and Sarkar, V.},
 title = {The {Jikes} research virtual machine project: building an open-source research community},
 journal = {IBM Syst. J.},
 volume = {44},
 issue = {2},
 month = {January},
 year = {2005},
 issn = {0018-8670},
 pages = {399--417},
 numpages = {19},
 url = {http://dx.doi.org/10.1147/sj.442.0399},
 doi = {http://dx.doi.org/10.1147/sj.442.0399},
 acmid = {1086625},
 publisher = {IBM Corp.},
 address = {Riverton, NJ, USA},
}

@article{Bloom:1970:STH:362686.362692,
 author = {Bloom, Burton H.},
 title = {Space/time trade-offs in hash coding with allowable errors},
 journal = {Commun. ACM},
 issue_date = {July 1970},
 volume = {13},
 issue = {7},
 month = {July},
 year = {1970},
 issn = {0001-0782},
 pages = {422--426},
 numpages = {5},
 url = {http://doi.acm.org/10.1145/362686.362692},
 doi = {http://doi.acm.org/10.1145/362686.362692},
 acmid = {362692},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {hash addressing, hash coding, retrieval efficiency, retrieval trade-offs, scatter storage, searching, storage efficiency, storage layout},
}

@inproceedings{MoawadGC,
    author = {Meawad, F. and Macnak, R. and Vitek, J.},
    title = {Collecting Transactional Garbage},
    booktitle = {TRANSACT},
    year = {2011}
}
@inproceedings{Deucekorland2010noninvasive,
  title={Noninvasive concurrency with {Java STM}},
  author={Korland, G. and Shavit, N. and Felber, P.},
  booktitle={Third Workshop on Programmability Issues for Multi-Core Computers (MULTIPROG)},
  year={2010}
}

@ONLINE{objectFabDoe,
Author = {{ObjectFabric Inc.}},
Title = {{ObjectFabric}},
year = {2011},
howpublished = {\url{http://objectfabric.com}} }

@@ONLINE{Multiverse,
Author = {Peter Veentjer},
Title = {Multiverse},
year = {2011},
howpublished = {\url{http://multiverse.codehaus.org}}
}
@inproceedings{DSTM2herlihy2006flexible,
  title={A flexible framework for implementing software transactional memory},
  author={Herlihy, M. and Luchangco, V. and Moir, M.},
  booktitle={ACM SIGPLAN Notices},
  volume={41},
  number={10},
  pages={253--262},
  year={2006},
  organization={ACM}
}
@article{JVSTMcachopo2006versioned,
  title={Versioned boxes as the basis for memory transactions},
  author={Cachopo, J. and Rito-Silva, A.},
  journal={Science of Computer Programming},
  volume={63},
  number={2},
  pages={172--185},
  year={2006},
  publisher={Elsevier}
}

@inproceedings{Spear:2008:RST:1378533.1378583,
 author = {Spear, Michael F. and Michael, Maged M. and von Praun, Christoph},
 title = {{RingSTM}: scalable transactions with a single atomic instruction},
 booktitle = {Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures},
 series = {SPAA '08},
 year = {2008},
 isbn = {978-1-59593-973-9},
 location = {Munich, Germany},
 pages = {275--284},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1378533.1378583},
 doi = {http://doi.acm.org/10.1145/1378533.1378583},
 acmid = {1378583},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {atomicity, software transactional memory, synchronization},
}

@INPROCEEDINGS{Dice06transactionallocking,
    author = {Dave Dice and Ori Shalev and Nir Shavit},
    title = {Transactional Locking II},
    booktitle = {In Proc. of the 20th Intl. Symp. on Distributed Computing},
    year = {2006}
}
@inproceedings{Riegel:2007:TTM:1248377.1248415,
 author = {Riegel, Torvald and Fetzer, Christof and Felber, Pascal},
 title = {Time-based transactional memory with scalable time bases},
 booktitle = {Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures},
 series = {SPAA '07},
 year = {2007},
 isbn = {978-1-59593-667-7},
 location = {San Diego, California, USA},
 pages = {221--228},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/1248377.1248415},
 doi = {http://doi.acm.org/10.1145/1248377.1248415},
 acmid = {1248415},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {transactional memory},
} 
@article{LSAriegel2006lazy,
  title={A lazy snapshot algorithm with eager validation},
  author={Riegel, T. and Felber, P. and Fetzer, C.},
  journal={Distributed Computing},
  pages={284--298},
  year={2006},
  publisher={Springer}
}
@inproceedings{caominh:stamp:iiswc:2008,
    title     = {{STAMP}: Stanford Transactional Applications for Multi-Processing},
    author    = {Cao Minh, Chi and Chung, JaeWoong and Kozyrakis, Christos and Olukotun, Kunle},
    booktitle = {IISWC '08: Proceedings of The IEEE International Symposium on Workload Characterization},
    year      = {2008},
    month     = {September}
}
@inproceedings{lockfreeLLmichael2002high,
  title={High performance dynamic lock-free hash tables and list-based sets},
  author={Michael, M.M.},
  booktitle={Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures},
  pages={73--82},
  year={2002},
  organization={ACM}
}
@inproceedings{lockfreeSL,
  title={A lock-free concurrent skiplist with wait-free search},
  author={M. Herlihy, Y. Lev, and N. Shavit},
  booktitle={Unpublished Manuscript},
  year={2007},
  organization={Sun Microsystems Laboratories, Burlington, Massachusetts}
}
@phdthesis{lockfreeBSTfraser2004practical,
  title={Practical lock-freedom},
  author={Fraser, K.},
  year={2004},
  school={Cambridge University Computer Laboratory, 2003. Also available as Technical Report UCAM-CL-TR-579}
}
@misc{lockfreeHash,
Author = {Doug Lea},
Title = {Java Concurrency Package Concurrent Hash Map in java.util.concurrent},
howpublished = {\url{http://gee.cs.oswego.edu/cgi-bin/viewcvs.cgi/jsr166/src/main/java/util/concurrent/}} 
}

@article{STMbookharris2010transactional,
  title={Transactional memory},
  author={Harris, T. and Larus, J. and Rajwar, R.},
  journal={Synthesis Lectures on Computer Architecture},
  volume={5},
  number={1},
  pages={1--263},
  year={2010},
  publisher={Morgan \& Claypool Publishers}
}
@article{CM1guerraoui2005polymorphic,
  title={Polymorphic contention management},
  author={Guerraoui, R. and Herlihy, M. and Pochon, B.},
  journal={Distributed Computing},
  pages={303--323},
  year={2005},
  publisher={Springer}
}
@inproceedings{CM2guerraoui2005toward,
  title={Toward a theory of transactional contention managers},
  author={Guerraoui, R. and Herlihy, M. and Pochon, B.},
  booktitle={Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing},
  pages={258--264},
  year={2005},
  organization={ACM}
}
@inproceedings{CM3scherer2004contention,
  title={Contention management in dynamic software transactional memory},
  author={Scherer III, W.N. and Scott, M.L.},
  booktitle={PODC Workshop on Concurrency and Synchronization in Java programs},
  pages={70--79},
  year={2004}
}
@inproceedings{CM4scherer2005advanced,
  title={Advanced contention management for dynamic software transactional memory},
  author={Scherer III, W.N. and Scott, M.L.},
  booktitle={Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing},
  pages={240--248},
  year={2005},
  organization={ACM}
}
@inproceedings{NCMshriraman2009refereeing,
  title={Refereeing conflicts in hardware transactional memory},
  author={Shriraman, A. and Dwarkadas, S.},
  booktitle={Proceedings of the 23rd international conference on Supercomputing},
  pages={136--146},
  year={2009},
  organization={ACM}
}
@inproceedings{NCMshriraman2008flexible,
  title={Flexible decoupled transactional memory support},
  author={Shriraman, A. and Dwarkadas, S. and Scott, M.L.},
  booktitle={ACM SIGARCH Computer Architecture News},
  volume={36},
  number={3},
  pages={139--150},
  year={2008},
  organization={IEEE Computer Society}
}
@inproceedings{hashspear2009comprehensive,
  title={A comprehensive strategy for contention management in software transactional memory},
  author={Spear, M.F. and Dalessandro, L. and Marathe, V.J. and Scott, M.L.},
  booktitle={ACM Sigplan Notices},
  volume={44},
  number={4},
  pages={141--150},
  year={2009},
  organization={ACM}
}
@inproceedings{Opacityguerraoui2008correctness,
  title={On the correctness of transactional memory},
  author={Guerraoui, R. and Kapalka, M.},
  booktitle={Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming},
  pages={175--184},
  year={2008},
  organization={ACM}
}
@article{strongAtomicityblundell2006subtleties,
  title={Subtleties of transactional memory atomicity semantics},
  author={Blundell, C. and Lewis, E.C. and Martin, M.M.K.},
  journal={Computer Architecture Letters},
  volume={5},
  number={2},
  pages={17--17},
  year={2006},
  publisher={IEEE}
}
@inproceedings{privatizationspear2007privatization,
  title={Privatization techniques for software transactional memory},
  author={Spear, M.F. and Marathe, V.J. and Dalessandro, L. and Scott, M.L.},
  booktitle={Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing},
  pages={338--339},
  year={2007},
  organization={ACM}
}
@article{nestingmoss2006nested,
  title={Nested transactional memory: Model and architecture sketches},
  author={Moss, J.E.B. and Hosking, A.L.},
  journal={Science of Computer Programming},
  volume={63},
  number={2},
  pages={186--201},
  year={2006},
  publisher={Elsevier}
}
@article{locklocalVabadi2009transactional,
  title={Transactional memory with strong atomicity using off-the-shelf memory protection hardware},
  author={Abadi, M. and Harris, T. and Mehrara, M.},
  journal={ACM SIGPLAN Notices},
  volume={44},
  number={4},
  pages={185--196},
  year={2009},
  publisher={ACM}
}
@inproceedings{locklocalVadl2006compiler,
  title={Compiler and runtime support for efficient software transactional memory},
  author={Adl-Tabatabai, A.R. and Lewis, B.T. and Menon, V. and Murphy, B.R. and Saha, B. and Shpeisman, T.},
  booktitle={ACM SIGPLAN Notices},
  volume={41},
  number={6},
  pages={26--37},
  year={2006},
  organization={ACM}
}
@inproceedings{locklocalVharris2006optimizing,
  title={Optimizing memory transactions},
  author={Harris, T. and Plesko, M. and Shinnar, A. and Tarditi, D.},
  booktitle={ACM SIGPLAN Notices},
  volume={41},
  number={6},
  pages={14--25},
  year={2006},
  organization={ACM}
}
@inproceedings{locklocalVsaha2007enabling,
  title={Enabling scalability and performance in a large scale {CMP} environment},
  author={Saha, B. and Adl-Tabatabai, A.R. and Ghuloum, A. and Rajagopalan, M. and Hudson, R.L. and Petersen, L. and Menon, V. and Murphy, B. and Shpeisman, T. and Sprangle, E. and others},
  booktitle={ACM SIGOPS Operating Systems Review},
  volume={41},
  number={3},
  pages={73--86},
  year={2007},
  organization={ACM}
}
@inproceedings{locklocalVsaha2006mcrt,
  title={{McRT-STM}: a high performance software transactional memory system for a multi-core runtime},
  author={Saha, B. and Adl-Tabatabai, A.R. and Hudson, R.L. and Minh, C.C. and Hertzberg, B.},
  booktitle={Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming},
  pages={187--197},
  year={2006},
  organization={ACM}
}
@article{Snapshotriegel2006snapshot,
  title={Snapshot isolation for software transactional memory},
  author={Riegel, T. and Fetzer, C. and Felber, P.},
  journal={TRANSACT06},
  volume={298},
  year={2006}
}
@inproceedings{SwissTMdragojevi2009stretching,
  title={Stretching transactional memory},
  author={Dragojevi{\'c}, A. and Guerraoui, R. and Kapalka, M.},
  booktitle={ACM SIGPLAN Notices},
  volume={44},
  number={6},
  pages={155--165},
  year={2009},
  organization={ACM}
}
@inproceedings{JudoSTMolszewski2007judostm,
  title={{JudoSTM}: A dynamic binary-rewriting approach to software transactional memory},
  author={Olszewski, M. and Cutler, J. and Steffan, J.G.},
  booktitle={Parallel Architecture and Compilation Techniques, 2007. PACT 2007. 16th International Conference on},
  pages={365--375},
  year={2007},
  organization={IEEE}
}
@inproceedings{NOrecdalessandro2010norec,
  title={{NOrec}: streamlining {STM} by abolishing ownership records},
  author={Dalessandro, L. and Spear, M.F. and Scott, M.L.},
  booktitle={ACM SIGPLAN Notices},
  volume={45},
  number={5},
  pages={67--78},
  year={2010},
  organization={ACM}
}
@inproceedings{TMLspear2009transactional,
  title={Transactional mutex locks},
  author={Spear, M.F. and Shriraman, A. and Dalessandro, L. and Scott, M.L.},
  booktitle={SIGPLAN Workshop on Transactional Computing},
  year={2009}
}
@inproceedings{DSTMherlihy2003software,
  title={Software transactional memory for dynamic-sized data structures},
  author={Herlihy, M. and Luchangco, V. and Moir, M. and Scherer III, W.N.},
  booktitle={Proceedings of the twenty-second annual symposium on Principles of distributed computing},
  pages={92--101},
  year={2003},
  organization={ACM}
}
@article{LFfraser2007concurrent,
  title={Concurrent programming without locks},
  author={Fraser, K. and Harris, T.},
  journal={ACM Transactions on Computer Systems (TOCS)},
  volume={25},
  number={2},
  pages={5},
  year={2007},
  publisher={ACM}
}
@article{LFmarathe2005adaptive,
  title={Adaptive software transactional memory},
  author={Marathe, V. and Scherer, W. and Scott, M.},
  journal={Distributed Computing},
  pages={354--368},
  year={2005},
  publisher={Springer}
}
@article{LFspear2006conflict,
  title={Conflict detection and validation strategies for software transactional memory},
  author={Spear, M. and Marathe, V. and Scherer, W. and Scott, M.},
  journal={Distributed Computing},
  pages={179--193},
  year={2006},
  publisher={Springer}
}
@inproceedings{XSTMnol2010extensible,
  title={Extensible software transactional memory},
  author={No{\"e}l, C.},
  booktitle={Proceedings of the Third C* Conference on Computer Science and Software Engineering},
  pages={23--34},
  year={2010},
  organization={ACM}
}
@inproceedings{FirstTMConclomet1977process,
  title={Process structuring, synchronization, and recovery using atomic actions},
  author={Lomet, D.B.},
  booktitle={ACM Sigplan Notices},
  volume={12},
  number={3},
  pages={128--137},
  year={1977},
  organization={ACM}
}
@article{FirstHTMherlihy1993transactional,
  title={{Transactional memory: Architectural support for lock-free data structures}},
  author={Herlihy, M. and Moss, J.E.B.},
  journal={ACM SIGARCH computer architecture news},
  volume={21},
  number={2},
  pages={289--300},
  year={1993},
  publisher={ACM}
}

@inproceedings{FirstSTMshavit1995software,
  title={Software transactional memory},
  author={Shavit, N. and Touitou, D.},
  booktitle={Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing},
  pages={204--213},
  year={1995},
  organization={ACM}
}
@article{sunProcHTMchaudhry2009rock,
  title={{Rock: A high-performance SPARC CMT processor}},
  author={Chaudhry, S. and Cypher, R. and Ekman, M. and Karlsson, M. and Landin, A. and Yip, S. and Zeffer, H. and Tremblay, M.},
  journal={Micro, IEEE},
  volume={29},
  number={2},
  pages={6--16},
  year={2009},
  publisher={IEEE}
}
@inproceedings{AMDprocHTMchristie2010evaluation,
  title={{Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack}},
  author={Christie, D. and Chung, J.W. and Diestelhorst, S. and Hohmuth, M. and Pohlack, M. and Fetzer, C. and Nowack, M. and Riegel, T. and Felber, P. and Marlier, P. and others},
  booktitle={Proceedings of the 5th European conference on Computer systems},
  pages={27--40},
  year={2010},
  organization={ACM}
}
@misc{intelSTMcompiler,
Author = {{Intel Corporation}},
Title = {{Intel C++ STM Compiler 4.0, Prototype Edition}},
year = {2009},
howpublished = {\url{http://software.intel.com/en-us/articles/intel-c-stm-compiler-prototype-edition/}} }
@misc{GCCSTM,
Author = {{GNU Compiler Collection}},
Title = {{Transactional Memory in GCC}},
year = {2011},
howpublished = {\url{http://gcc.gnu.org/wiki/TransactionalMemory}} }
@misc{GCCSTM2adl2009draft,
  title={Draft specification of transactional language constructs for {C++}, version 1.0},
  author={Adl-Tabatabai, A.R. and Shpeisman, T.},
  year={2009}
}
@inproceedings{ASMbinder2007advanced,
  title={{Advanced Java bytecode instrumentation}},
  author={Binder, W. and Hulaas, J. and Moret, P.},
  booktitle={Proceedings of the 5th international symposium on Principles and practice of programming in Java},
  pages={135--144},
  year={2007},
  organization={ACM}
}
@inproceedings{AtomJavahindman2006atomicity,
  title={Atomicity via source-to-source translation},
  author={Hindman, B. and Grossman, D.},
  booktitle={Proceedings of the 2006 workshop on Memory system performance and correctness},
  pages={82--91},
  year={2006},
  organization={ACM}
}
@inproceedings{Polyglotnystrom2003polyglot,
  title={{Polyglot: An extensible compiler framework for Java}},
  author={Nystrom, N. and Clarkson, M. and Myers, A.},
  booktitle={Compiler Construction},
  pages={138--152},
  year={2003},
  organization={Springer}
}
@misc{BCEL,
  title={{BCEL: Byte-code engineering library}},
  author={{Apache Software Foundation}},
  howpublished = {\url{http://jakarta.apache.org/bcel/manual.html}}
}
@inproceedings{JVMSTMharris2003language,
  title={Language support for lightweight transactions},
  author={Harris, T. and Fraser, K.},
  booktitle={ACM SIGPLAN Notices},
  volume={38},
  number={11},
  pages={388--402},
  year={2003},
  organization={ACM}
}
@inproceedings{Atomoscarlstrom2006atomos,
  title={{The Atomos transactional programming language}},
  author={Carlstrom, B.D. and McDonald, A. and Chafi, H. and Chung, J.W. and Minh, C.C. and Kozyrakis, C. and Olukotun, K.},
  booktitle={ACM SIGPLAN Notices},
  volume={41},
  number={6},
  pages={1--13},
  year={2006},
  organization={ACM}
}
@inproceedings{TCCmcdonald2005characterization,
  title={{Characterization of TCC on chip-multiprocessors}},
  author={McDonald, A. and Chung, J.W. and Chafi, H. and Minh, C.C. and Carlstrom, B.D. and Hammond, L. and Kozyrakis, C. and Olukotun, K.},
  booktitle={Parallel Architectures and Compilation Techniques, 2005. PACT 2005. 14th International Conference on},
  pages={63--74},
  year={2005},
  organization={IEEE}
}
@article{TxMonitorswelc2004transactional,
  title={Transactional monitors for concurrent objects},
  author={Welc, A. and Jagannathan, S. and Hosking, A.},
  journal={ECOOP 2004--Object-Oriented Programming},
  pages={494--514},
  year={2004},
  publisher={Springer}
}
@article{StarJitadl2003starjit,
  title={{The StarJIT compiler: A dynamic compiler for managed runtime environments}},
  author={Adl-Tabatabai, A.R. and others},
  year={2003},
  journal={Intel Technology Journal},
}
@article{ORPcierniak2003open,
  title={The open runtime platform: A flexible high-performance managed runtime environment},
  author={Cierniak, M. and others},
  journal={Intel Technology Journal},
  year={2003},
}
@misc{RSTM,
Author = {{University of Rochester}},
Title = {{Rochester Software Transactional Memory}},
year = {2006},
howpublished = {\url{http://www.cs.rochester.edu/research/synchronization/rstm/index.shtml}, \url{http://code.google.com/p/rstm}} }
\url{
@inproceedings{RSTMpapermarathe2006lowering,
  title={Lowering the overhead of nonblocking software transactional memory},
  author={Marathe, V.J. and Spear, M.F. and Heriot, C. and Acharya, A. and Eisenstat, D. and Scherer III, W.N. and Scott, M.L.},
  booktitle={Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT)},
  year={2006}
}
@inproceedings{DracoSTMgottschlich2007dracostm,
  title={{DracoSTM: A practical C++ approach to software transactional memory}},
  author={Gottschlich, J.E. and Connors, D.A.},
  booktitle={Proceedings of the 2007 Symposium on Library-Centric Software Design},
  pages={52--66},
  year={2007},
  organization={ACM}
}
@misc{TBoostSTM,
Author = {Justin E. Gottschlich and others},
Title = {{Toward.Boost.STM (TBoost.STM)}},
year = {2009},
howpublished = {\url{http://eces.colorado.edu/~gottschl/tboostSTM/}} }

@misc{Boost,
Author = {{Boost C++ Libraries Group}},
Title = {{Boost C++ Libraries}},
year = {2011},
howpublished = {\url{http://www.boost.org/}} }
@misc{LSASTM,
Author = {Riegel, T. and Felber, P. and Fetzer, C.},
Title = {{LSA-STM}},
year = {2006},
howpublished = {\url{http://tmware.org/lsastm}} }

@misc{TinySTM,
Author = {Riegel, T. and Felber, P. and Fetzer, C.},
Title = {{TinySTM}},
year = {2010},
howpublished = {\url{http://tmware.org/tinystm}} }
@article{TinySTM2felber2010time,
  title={Time-based software transactional memory},
  author={Felber, P. and Fetzer, C. and Marlier, P. and Riegel, T.},
  journal={Parallel and Distributed Systems, IEEE Transactions on},
  volume={21},
  number={12},
  pages={1793--1807},
  year={2010},
  publisher={IEEE}
}
@inproceedings{TinySTM3felber2008dynamic,
  title={Dynamic performance tuning of word-based software transactional memory},
  author={Felber, P. and Fetzer, C. and Riegel, T.},
  booktitle={Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming},
  pages={237--246},
  year={2008},
  organization={ACM}
}
@inproceedings{Amdahl:1967:VSP:1465482.1465560,
 author = {Amdahl, Gene M.},
 title = {Validity of the single processor approach to achieving large scale computing capabilities},
 booktitle = {Proceedings of the April 18-20, 1967, spring joint computer conference},
 series = {AFIPS '67 (Spring)},
 year = {1967},
 location = {Atlantic City, New Jersey},
 pages = {483--485},
 numpages = {3},
 url = {http://doi.acm.org/10.1145/1465482.1465560},
 doi = {http://doi.acm.org/10.1145/1465482.1465560},
 acmid = {1465560},
 publisher = {ACM},
 address = {New York, NY, USA},
} 
@inproceedings{SpHTLev:2008:SHT:1345206.1345236,
 author = {Lev, Yossi and Maessen, Jan-Willem},
 title = {Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory},
 booktitle = {Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming},
 series = {PPoPP '08},
 year = {2008},
 isbn = {978-1-59593-795-7},
 location = {Salt Lake City, UT, USA},
 pages = {197--206},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1345206.1345236},
 doi = {http://doi.acm.org/10.1145/1345206.1345236},
 acmid = {1345236},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {atomicity, nesting, transactional memory},
} 
@inproceedings{HyTMDamron:2006:HTM:1168857.1168900,
 author = {Damron, Peter and Fedorova, Alexandra and Lev, Yossi and Luchangco, Victor and Moir, Mark and Nussbaum, Daniel},
 title = {Hybrid transactional memory},
 booktitle = {Proceedings of the 12th international conference on Architectural support for programming languages and operating systems},
 series = {ASPLOS-XII},
 year = {2006},
 isbn = {1-59593-451-0},
 location = {San Jose, California, USA},
 pages = {336--346},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/1168857.1168900},
 doi = {http://doi.acm.org/10.1145/1168857.1168900},
 acmid = {1168900},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {transactional memory},
} 
@INPROCEEDINGS{UTM1385954, 
author={Ananian, C.S. and Asanovic, K. and Kuszmaul, B.C. and Leiserson, C.E. and Lie, S.}, 
booktitle={High-Performance Computer Architecture, 2005. HPCA-11. 11th International Symposium on}, 
title={Unbounded transactional memory}, 
year={2005}, 
month={feb.}, 
volume={}, 
number={}, 
pages={ 316 - 327}, 
keywords={ Java programs; LTM; Linux 2.4.19 kernel; SPECjvm98 Java benchmarks; UTM; cycle-accurate simulation; hardware transactional memory; unbounded transactional memory; virtual memory; digital simulation; storage management; transaction processing;}, 
doi={10.1109/HPCA.2005.41}, 
ISSN={1530-0897},}
@INPROCEEDINGS{logTMSE4147667, 
author={Yen, L. and Bobba, J. and Marty, M.R. and Moore, K.E. and Volos, H. and Hill, M.D. and Swift, M.M. and Wood, D.A.}, 
booktitle={High Performance Computer Architecture, 2007. HPCA 2007. IEEE 13th International Symposium on}, 
title={{LogTM-SE: Decoupling Hardware Transactional Memory from Caches}}, 
year={2007}, 
month={feb.}, 
volume={}, 
number={}, 
pages={261 -272}, 
keywords={LogTM-SE;cache arrays;cache victimization;eager version management;hardware transactional memory system;operating system;per-thread memory log;cache storage;}, 
doi={10.1109/HPCA.2007.346204}, 
ISSN={},}
@INPROCEEDINGS{logTM1598134, 
author={Moore, K.E. and Bobba, J. and Moravan, M.J. and Hill, M.D. and Wood, D.A.}, 
booktitle={High-Performance Computer Architecture, 2006. The Twelfth International Symposium on}, 
title={{LogTM: log-based transactional memory}}, 
year={2006}, 
month={feb.}, 
volume={}, 
number={}, 
pages={ 254 - 265}, 
keywords={ MOESI directory protocol; SPLASH-2 benchmark; cacheable virtual memory; data version management; log-based transactional memory; parallel programming; software library; cache storage; memory architecture; parallel architectures; parallel programming; transaction processing; virtual storage;}, 
doi={10.1109/HPCA.2006.1598134}, 
ISSN={1530-0897},}
@INPROCEEDINGS{VTM1431581, 
author={Rajwar, R. and Herlihy, M. and Lai, K.}, 
booktitle={Computer Architecture, 2005. ISCA '05. Proceedings. 32nd International Symposium on}, 
title={Virtualizing transactional memory}, 
year={2005}, 
month={june}, 
volume={}, 
number={}, 
pages={ 494 - 505}, 
keywords={ concurrent programs; conventional lock-based synchronization; hardware transaction; lock-based mechanism; nonblocking transaction; physical memory; platform-specific resource limitation; synchronization complexity; transaction hardware support; transactional memory virtualization; user-transparent system; virtual memory; virtual transactional memory; digital storage; memory architecture; multiprocessing programs; storage allocation; virtual storage;}, 
doi={10.1109/ISCA.2005.54}, 
ISSN={1063-6897},}
@inproceedings{TCCHammond:2004:TMC:998680.1006711,
 author = {Hammond, Lance and Wong, Vicky and Chen, Mike and Carlstrom, Brian D. and Davis, John D. and Hertzberg, Ben and Prabhu, Manohar K. and Wijaya, Honggo and Kozyrakis, Christos and Olukotun, Kunle},
 title = {{Transactional Memory Coherence and Consistency}},
 booktitle = {Proceedings of the 31st annual international symposium on Computer architecture},
 series = {ISCA '04},
 year = {2004},
 isbn = {0-7695-2143-6},
 location = {M\&\#252;nchen, Germany},
 pages = {102--},
 url = {http://dl.acm.org/citation.cfm?id=998680.1006711},
 acmid = {1006711},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
} 
@ARTICLE{Oklahoma260295, 
author={Stone, J.M. and Stone, H.S. and Heidelberger, P. and Turek, J.}, 
journal={Parallel Distributed Technology: Systems Applications, IEEE}, 
title={{Multiple reservations and the Oklahoma update}}, 
year={1993}, 
month={nov}, 
volume={1}, 
number={4}, 
pages={58 -71}, 
keywords={Oklahoma update;atomic updates;automatic restart;cache protocol;concurrent codes;linked lists;livelock avoidance;multiple reservations;multiple shared variables;nonblocking codes;performance improvement;queues;shared data structures;write access;codes;data structures;protocols;}, 
doi={10.1109/88.260295}, 
ISSN={1063-6552},}
@inproceedings{BulkCeze:2006:BDS:1135775.1136506,
 author = {Ceze, Luis and Tuck, James and Torrellas, Josep and Cascaval, Calin},
 title = {{Bulk Disambiguation of Speculative Threads in Multiprocessors}},
 booktitle = {Proceedings of the 33rd annual international symposium on Computer Architecture},
 series = {ISCA '06},
 year = {2006},
 isbn = {0-7695-2608-X},
 pages = {227--238},
 numpages = {12},
 url = {http://dx.doi.org/10.1109/ISCA.2006.13},
 doi = {http://dx.doi.org/10.1109/ISCA.2006.13},
 acmid = {1136506},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
} 
@inproceedings{HTMwVMBradel:2009:UHT:1596655.1596671,
 author = {Bradel, Borys J. and Abdelrahman, Tarek S.},
 title = {The use of hardware transactional memory for the trace-based parallelization of recursive Java programs},
 booktitle = {Proceedings of the 7th International Conference on Principles and Practice of Programming in Java},
 series = {PPPJ '09},
 year = {2009},
 isbn = {978-1-60558-598-7},
 location = {Calgary, Alberta, Canada},
 pages = {101--110},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1596655.1596671},
 doi = {http://doi.acm.org/10.1145/1596655.1596671},
 acmid = {1596671},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Java, parallelism, traces, transactional memory},
} 
@book{herlihy2008art,
  title={The art of multiprocessor programming},
  author={Herlihy, M. and Shavit, N.},
  year={2008},
  publisher={Morgan Kaufmann}
}
﻿@incollection {HopscotchHashing,
   author = {Herlihy, Maurice and Shavit, Nir and Tzafrir, Moran},
   affiliation = {Brown University Providence RI},
   title = {{Hopscotch Hashing}},
   booktitle = {Distributed Computing},
   series = {Lecture Notes in Computer Science},
   editor = {Taubenfeld, Gadi},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-540-87778-3},
   keyword = {Computer Science},
   pages = {350-364},
   volume = {5218},
   year = {2008}
}
@techreport{KarySearchTreesbrown2011non,
  title={Non-blocking k-ary search trees},
  author={Brown, T. and Helga, J.},
  year={2011},
  institution={Technical Report CSE-2011-04, York University, 2011. Appendix and code available at \url{http://www.cs.utoronto.ca/~tabrown/ksts/}}
}
@MastersThesis{FirstHyTMlie2004hardware,
  title={Hardware support for unbounded transactional memory},
  author={Lie, S.},
  year={2004},
  school={Massachusetts Institute of Technology}
}
@misc{annotations,
Author = {{Sun Microsystems}},
Title = {{Java Annotations}},
year = {2004},
howpublished = {\url{http://docs.oracle.com/javase/1.5.0/docs/guide/language/annotations.html}, \url{http://docs.oracle.com/javase/tutorial/java/javaOO/annotations.html}} }

@misc{Java5,
Author = {{Sun Microsystems}},
Title = {Java 5.0},
year = {2004},
howpublished = {\url{http://www.oracle.com/technetwork/java/javase/1-5-0-139765.html}, \url{http://www.oracle.com/technetwork/articles/javase/j2se15-141062.html}} }

@inproceedings{QuakeTMGajinov:2009:QPC:1542275.1542298,
 author = {Gajinov, Vladimir and Zyulkyarov, Ferad and Unsal, Osman S. and Cristal, Adrian and Ayguade, Eduard and Harris, Tim and Valero, Mateo},
 title = {{QuakeTM: parallelizing a complex sequential application using transactional memory}},
 booktitle = {Proceedings of the 23rd international conference on Supercomputing},
 series = {ICS '09},
 year = {2009},
 isbn = {978-1-60558-498-0},
 location = {Yorktown Heights, NY, USA},
 pages = {126--135},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1542275.1542298},
 doi = {http://doi.acm.org/10.1145/1542275.1542298},
 acmid = {1542298},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {game server, transactional memory},
} 
@inproceedings{SynQuakeLupei:2010:TMS:1755913.1755919,
 author = {Lupei, Daniel and Simion, Bogdan and Pinto, Don and Misler, Matthew and Burcea, Mihai and Krick, William and Amza, Cristiana},
 title = {Transactional memory support for scalable and transparent parallelization of multiplayer games},
 booktitle = {Proceedings of the 5th European conference on Computer systems},
 series = {EuroSys '10},
 year = {2010},
 isbn = {978-1-60558-577-2},
 location = {Paris, France},
 pages = {41--54},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/1755913.1755919},
 doi = {http://doi.acm.org/10.1145/1755913.1755919},
 acmid = {1755919},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {load balancing, massively multiplayer games, scalability, software transactional memory, synchronization},
}
@misc{Clojure,
Author = {Hickey, R.},
Title = {{Clojure Refs and Transactions}},
year = {2010},
howpublished = {\url{http://clojure.org/refs}}
}
@inproceedings{TxLinuxRamadan:2007:MTM:1250662.1250675,
 author = {Ramadan, Hany E. and Rossbach, Christopher J. and Porter, Donald E. and Hofmann, Owen S. and Bhandari, Aditya and Witchel, Emmett},
 title = {{MetaTM/TxLinux: transactional memory for an operating system}},
 booktitle = {Proceedings of the 34th annual international symposium on Computer architecture},
 series = {ISCA '07},
 year = {2007},
 isbn = {978-1-59593-706-3},
 location = {San Diego, California, USA},
 pages = {92--103},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1250662.1250675},
 doi = {http://doi.acm.org/10.1145/1250662.1250675},
 acmid = {1250675},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {MetaTM, OS support, TxLinux, transactional memory},
} 
@misc{CASitanium,
Author = {{Intel Corporation}},
Title = {{Intel Itanium Architecture Software Developer’s Manual Volume 3: Instruction Set Reference}},
year = {2007},
howpublished = {\url{http://download.intel.com/design/Itanium/manuals/24531905.pdf}}
}
@misc{CAS64IA32,
Author = {{Intel Corporation}},
Title = {{Intel 64 and IA-32 Architectures Software Developer's Manual Volume 2A: Instruction Set Reference, A-M}},
year = {2007},
howpublished = {\url{http://www.intel.com/Assets/en_US/PDF/manual/253666.pdf}}
}
@article{LL:CS:Sites:1993:AAA:151220.151226,
 author = {Sites, Richard L.},
 title = {{Alpha AXP architecture}},
 journal = {Commun. ACM},
 issue_date = {Feb. 1993},
 volume = {36},
 issue = {2},
 month = {February},
 year = {1993},
 issn = {0001-0782},
 pages = {33--44},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/151220.151226},
 doi = {http://doi.acm.org/10.1145/151220.151226},
 acmid = {151226},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Alpha AXP chip},
} 
@inproceedings{IrrevocableWelc:2008:ITA:1378533.1378584,
 author = {Welc, Adam and Saha, Bratin and Adl-Tabatabai, Ali-Reza},
 title = {Irrevocable transactions and their applications},
 booktitle = {Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures},
 series = {SPAA '08},
 year = {2008},
 isbn = {978-1-59593-973-9},
 location = {Munich, Germany},
 pages = {285--296},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1378533.1378584},
 doi = {http://doi.acm.org/10.1145/1378533.1378584},
 acmid = {1378584},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {concurrent programming, performance, software transactional memory, virtual machines},
} 
@InProceedings{STMBench7LPD-CONF-2007-002,
   affiliation = {EPFL},
   author      = {Guerraoui, Rachid and Kapalka, Michal and Vitek, Jan},
   booktitle   = {Proceedings of the {S}econd {E}uropean {S}ystems
                 {C}onference ({E}uro{S}ys2007)},
   details     = {http://infoscience.epfl.ch/record/101108},
   documenturl = {http://infoscience.epfl.ch/record/101108/files/stmbench7-eurosys07.pdf},
   keywords    = {Software transactional memory; Benchmarks},
   location    = {Lisboa, Portugal},
   oai-id      = {oai:infoscience.epfl.ch:101108},
   oai-set     = {conf; fulltext; fulltext-public},
   review      = {REVIEWED},
   status      = {PUBLISHED},
   title       = {{STMB}ench7: {A} {B}enchmark for {S}oftware {T}ransactional {M}emory},
   unit        = {LPD},
   year        = 2007
}
@inproceedings{RMS-TMkestor2009rms,
  title={{RMS-TM: A transactional memory benchmark for recognition, mining and synthesis applications}},
  author={Kestor, G. and Stipic, S. and Unsal, O.S. and Cristal, A. and Valero, M.},
  booktitle={TRANSACT’09: 4th workshop on transactional computing},
  year={2009}
}
@inproceedings{RMS-TMKestor:2011:AOR:1958746.1958795,
 author = {Kestor, Gokcen and Karakostas, Vasileios and Unsal, Osman S. and Cristal, Adrian and Hur, Ibrahim and Valero, Mateo},
 title = {{RMS-TM}: a comprehensive benchmark suite for transactional memory systems},
 booktitle = {Proceedings of the second joint WOSP/SIPEW international conference on Performance engineering},
 series = {ICPE '11},
 year = {2011},
 isbn = {978-1-4503-0519-8},
 location = {Karlsruhe, Germany},
 pages = {335--346},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1958746.1958795},
 doi = {10.1145/1958746.1958795},
 acmid = {1958795},
 publisher = {ACM},
 address = {New York, NY, USA},
} 
﻿@incollection {Lee-TMspringerlink,
   author = {Ansari, Mohammad and Kotselidis, Christos and Watson, Ian and Kirkham, Chris and Luján, Mikel and Jarvis, Kim},
   affiliation = {University of Manchester School of Computer Science},
   title = {{Lee-TM: A Non-trivial Benchmark Suite for Transactional Memory}},
   booktitle = {Algorithms and Architectures for Parallel Processing},
   series = {Lecture Notes in Computer Science},
   editor = {Bourgeois, Anu and Zheng, S.},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-540-69500-4},
   keyword = {Computer Science},
   pages = {196-207},
   volume = {5022},
   year = {2008}
}
@misc{baselineComp,
Author = {{The Jikes RVM Project}},
Title = {Baseline Compiler},
year = {2005},
howpublished = {\url{http://jikesrvm.org/Baseline+Compiler}}
}
@misc{optimizingComp,
Author = {{The Jikes RVM Project}},
Title = {Optimizing Compiler},
year = {2005},
howpublished = {\url{http://jikesrvm.org/Optimizing+Compiler}}
}

@inproceedings{MESIPapamarcos:1984:LCS:800015.808204,
 author = {Papamarcos, Mark S. and Patel, Janak H.},
 title = {A low-overhead coherence solution for multiprocessors with private cache memories},
 booktitle = {Proceedings of the 11th annual international symposium on Computer architecture},
 series = {ISCA '84},
 year = {1984},
 isbn = {0-8186-0538-3},
 pages = {348--354},
 numpages = {7},
 url = {http://doi.acm.org/10.1145/800015.808204},
 doi = {http://doi.acm.org/10.1145/800015.808204},
 acmid = {808204},
 publisher = {ACM},
 address = {New York, NY, USA},
} 
@misc{Unsafe,
Author = {{Sun Microsystems}},
Title = {\texttt{sun.misc.Unsafe}},
year = {2006},
howpublished = {\url{http://www.docjar.com/docs/api/sun/misc/Unsafe.html}}
}
@article{SkipList:Pugh:1990:SLP:78973.78977,
 author = {Pugh, William},
 title = {Skip lists: a probabilistic alternative to balanced trees},
 journal = {Commun. ACM},
 volume = {33},
 issue = {6},
 month = {June},
 year = {1990},
 issn = {0001-0782},
 pages = {668--676},
 numpages = {9},
 url = {http://doi.acm.org/10.1145/78973.78977},
 doi = {http://doi.acm.org/10.1145/78973.78977},
 acmid = {78977},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {data structures, searching, trees},
}
@inproceedings{kmeansmacqueen1967some,
  title={Some methods for classification and analysis of multivariate observations},
  author={MacQueen, J. and others},
  booktitle={Proceedings of the fifth Berkeley symposium on mathematical statistics and probability},
  volume={1},
  number={281-297},
  pages={14},
  year={1967},
  organization={California, USA}
}
@inproceedings{Manassiev:2006:EDV:1122971.1123002,
 author = {Manassiev, Kaloian and Mihailescu, Madalin and Amza, Cristiana},
 title = {Exploiting distributed version concurrency in a transactional memory cluster},
 booktitle = {Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming},
 series = {PPoPP '06},
 year = {2006},
 isbn = {1-59593-189-9},
 location = {New York, New York, USA},
 pages = {198--208},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/1122971.1123002},
 doi = {10.1145/1122971.1123002},
 acmid = {1123002},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {concurrency control, in-memory, replicated databases, scalability, transactions},
}
@article{Herilhy:2007:BallisticProtocal,
year={2007},
issn={0178-2770},
journal={Distributed Computing},
volume={20},
issue={3},
doi={10.1007/s00446-007-0037-x},
title={Distributed transactional memory for metric-space networks},
url={http://dx.doi.org/10.1007/s00446-007-0037-x},
publisher={Springer-Verlag},
author={Herlihy, Maurice and Sun, Ye},
pages={195-208},
language={English}
}
@inproceedings{Bocchino:2008:STM:1345206.1345242,
 author = {Bocchino, Robert L. and Adve, Vikram S. and Chamberlain, Bradford L.},
 title = {Software transactional memory for large scale clusters},
 booktitle = {Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming},
 series = {PPoPP '08},
 year = {2008},
 isbn = {978-1-59593-795-7},
 location = {Salt Lake City, UT, USA},
 pages = {247--258},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1345206.1345242},
 doi = {10.1145/1345206.1345242},
 acmid = {1345242},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {clusters, distributed memory architectures, scalability, software transactional memory (stm)},
} 
@misc{PGAS:Programmin:Model,
Author = {{Bill Carlson et. al.}},
Title = {Partitioned Global Address Space (PGAS)},
year = {2003},
howpublished = {\url{upc.gwu.edu/tutorials/tutorials_sc2003.pdf}}
}
@inproceedings{Kotselidis08distm:a,
    author = {Christos Kotselidis and Mohammad Ansari and Kim Jarvis and Mikel Luján and Chris Kirkham and Ian Watson},
    title = {DiSTM: A software transactional memory framework for clusters},
    booktitle = {In Proc. of the International Conference on Parallel Processing (ICPP},
    year = {2008},
    pages = {51--58}
}
@INPROCEEDINGS{D2STM:5368778,
author={Couceiro, M. and Romano, P. and Carvalho, N. and Rodrigues, L.},
booktitle={Dependable Computing, 2009. PRDC '09. 15th IEEE Pacific Rim International Symposium on}, title={D2STM: Dependable Distributed Software Transactional Memory},
year={2009},
month={nov.},
volume={},
number={},
pages={307 -313},
keywords={bloom filter certification;dependability;dependable distributed software transactional memory;encoding;nonblocking distributed certification;performance;replicated STM;certification;distributed shared memory systems;encoding;software reliability;},
doi={10.1109/PRDC.2009.55},
ISSN={},}
@article{Bloom:1970:STH:362686.362692,
 author = {Bloom, Burton H.},
 title = {Space/time trade-offs in hash coding with allowable errors},
 journal = {Commun. ACM},
 issue_date = {July 1970},
 volume = {13},
 number = {7},
 month = jul,
 year = {1970},
 issn = {0001-0782},
 pages = {422--426},
 numpages = {5},
 url = {http://doi.acm.org/10.1145/362686.362692},
 doi = {10.1145/362686.362692},
 acmid = {362692},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {hash addressing, hash coding, retrieval efficiency, retrieval trade-offs, scatter storage, searching, storage efficiency, storage layout},
} 
@article{Defago:2004:TOB:1041680.1041682,
 author = {D{\'e}fago, Xavier and Schiper, Andr{\'e} and Urb\'{a}n, P{\'e}ter},
 title = {Total order broadcast and multicast algorithms: Taxonomy and survey},
 journal = {ACM Comput. Surv.},
 issue_date = {December 2004},
 volume = {36},
 number = {4},
 month = dec,
 year = {2004},
 issn = {0360-0300},
 pages = {372--421},
 numpages = {50},
 url = {http://doi.acm.org/10.1145/1041680.1041682},
 doi = {10.1145/1041680.1041682},
 acmid = {1041682},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Distributed systems, agreement problems, atomic broadcast, atomic multicast, classification, distributed algorithms, fault-tolerance, global ordering, group communication, message passing, survey, taxonomy, total ordering},
} 
@INPROCEEDINGS{AGGRO:5598236,
author={Palmieri, R. and Quaglia, F. and Romano, P.},
booktitle={Network Computing and Applications (NCA), 2010 9th IEEE International Symposium on}, title={AGGRO: Boosting STM Replication via Aggressively Optimistic Transaction Processing},
year={2010},
month={july},
volume={},
number={},
pages={20 -27},
keywords={AGGRO;AGGRessively optimistic concurrency control scheme;OAB service;STM system;a-priori knowledge;aggressively optimistic transaction processing;atomic broadcast based active replication protocol;boosting STM replication;disruptive programming model;optimistic message delivery order;serialization order compliant;software transactional memory;striking performance gain;concurrency control;replicated databases;software architecture;transaction processing;},
doi={10.1109/NCA.2010.10},
ISSN={},}
@article{OAB:Pedone200379,
title = "Optimistic atomic broadcast: a pragmatic viewpoint",
journal = "Theoretical Computer Science",
volume = "291",
number = "1",
pages = "79 - 101",
year = "2003",
note = "<ce:title>Distributed Computing</ce:title>",
issn = "0304-3975",
doi = "10.1016/S0304-3975(01)00397-8",
url = "http://www.sciencedirect.com/science/article/pii/S0304397501003978",
author = "Fernando Pedone and André Schiper",
keywords = "Optimistic algorithms",
keywords = "Atomic broadcast",
keywords = "Efficient algorithms",
keywords = "Consensus",
keywords = "Asynchronous systems"
}
@article{Romano:2010:CHC:1773912.1773914,
 author = {Romano, Paolo and Rodrigues, Luis and Carvalho, Nuno and Cachopo, Jo\"{a}o},
 title = {Cloud-TM: harnessing the cloud with distributed transactional memories},
 journal = {SIGOPS Oper. Syst. Rev.},
 issue_date = {April 2010},
 volume = {44},
 number = {2},
 month = apr,
 year = {2010},
 issn = {0163-5980},
 pages = {1--6},
 numpages = {6},
 url = {http://doi.acm.org/10.1145/1773912.1773914},
 doi = {10.1145/1773912.1773914},
 acmid = {1773914},
 publisher = {ACM},
 address = {New York, NY, USA},
}
@INPROCEEDINGS{GenRSTM:6038614,
author={Carvalho, N. and Romano, P. and Rodrigues, L.},
booktitle={Network Computing and Applications (NCA), 2011 10th IEEE International Symposium on}, title={A Generic Framework for Replicated Software Transactional Memories},
year={2011},
month={aug.},
volume={},
number={},
pages={271 -274},
keywords={STM;autonomic mechanisms;coherent infrastructure;generic framework;middleware infrastructure;multiple replication techniques;powerful abstraction;replicated software transactional memories;single infrastructures;middleware;shared memory systems;ubiquitous computing;},
doi={10.1109/NCA.2011.45},
ISSN={},}
@techreport{sridharan2011scalable,
  title={A scalable implementation of language-based software transactional memory for distributed memory systems},
  author={Sridharan, S. and Vetter, J. and Chamberlain, BL and Kogge, PM and Deitz, SJ},
  year={2011},
  institution={Tech. Rep}
}
@techreport{sridharan2009scalable,
  title={Scalable software transactional memory for global address space architectures},
  author={Sridharan, S. and Vetter, J. and Kogge, P.},
  year={2009},
  institution={Technical report, ORNL FT Technical Report Series}
}
@article{chapel:Language,
author={Chamberlain,B. L. and Callahan,D. and Zima,H. P.},
year={2007},
title={Parallel Programmability and the Chapel Language},
journal={The International Journal of High Performance Computing Applications},
volume={21},
number={3},
pages={291},
note={Copyright - Copyright SAGE PUBLICATIONS, INC. Aug 2007; Language of summary - English; ProQuest ID - 220792714; Last updated - 2010-06-09; Place of publication - London; Corporate institution author - Chamberlain, B L; Callahan, D; Zima, H P; DOI - 1308892151; 36439401; 37378; ISAP; INODISAP0000061533},
keywords={5240:Software & systems; 9130:Experiment/theoretical treatment; Computers},
isbn={10943420},
language={English},
url={http://ezproxy.lib.vt.edu:8080/login?url=http://search.proquest.com/docview/220792714?accountid=14826},
}
@inproceedings{Saad:2011:HHP:1996130.1996167,
 author = {Saad, Mohamed M. and Ravindran, Binoy},
 title = {HyFlow: a high performance distributed software transactional memory framework},
 booktitle = {Proceedings of the 20th international symposium on High performance distributed computing},
 series = {HPDC '11},
 year = {2011},
 isbn = {978-1-4503-0552-5},
 location = {San Jose, California, USA},
 pages = {265--266},
 numpages = {2},
 url = {http://doi.acm.org/10.1145/1996130.1996167},
 doi = {10.1145/1996130.1996167},
 acmid = {1996167},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {control flow, dataflow, distributed systems, hybrid flow, java, software transactional memory},
} 
@INPROCEEDINGS{DecentSTM:5470446,
author={Bieniusa, A. and Fuhrmann, T.},
booktitle={Parallel Distributed Processing (IPDPS), 2010 IEEE International Symposium on}, title={Consistency in hindsight: A fully decentralized STM algorithm},
year={2010},
month={april},
volume={},
number={},
pages={1 -12},
keywords={centralized components;decentralized STM algorithm;distributed setting;hindsight;randomized consensus protocol;software transactional memory;distributed processing;object-oriented programming;protocols;software engineering;},
doi={10.1109/IPDPS.2010.5470446},
ISSN={1530-2075},}
@article{Aguilera:2009:SNP:1629087.1629088,
 author = {Aguilera, Marcos K. and Merchant, Arif and Shah, Mehul and Veitch, Alistair and Karamanolis, Christos},
 title = {Sinfonia: A new paradigm for building scalable distributed systems},
 journal = {ACM Trans. Comput. Syst.},
 issue_date = {November 2009},
 volume = {27},
 number = {3},
 month = nov,
 year = {2009},
 issn = {0734-2071},
 pages = {5:1--5:48},
 articleno = {5},
 numpages = {48},
 url = {http://doi.acm.org/10.1145/1629087.1629088},
 doi = {10.1145/1629087.1629088},
 acmid = {1629088},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Distributed systems, fault tolerance, scalability, shared memory, transactions, two-phase commit},
} 
@inproceedings{dias2011efficient,
  title={Efficient and correct transactional memory programs combining snapshot isolation and static analysis},
  author={Dias, R.J. and Louren{\c{c}}o, J.M. and Pregui{\c{c}}a, N.M.},
  booktitle={Proceedings of the 3rd USENIX conference on Hot topics in parallelism (HotPar’11), HotPar},
  volume={11},
  year={2011}
}

@article{corbett2012spanner,
  title={Spanner: Google’s Globally-Distributed Database},
  author={Corbett, J.C. and Dean, J. and Epstein, M. and Fikes, A. and Frost, C. and Furman, JJ and Ghemawat, S. and Gubarev, A. and Heiser, C. and Hochschild, P. and others},
  journal={To appear in Proceedings of OSDI},
  pages={1},
  year={2012}
}
@inproceedings{cowling2012granola,
  title={Granola: low-overhead distributed transaction coordination},
  author={Cowling, J. and Liskov, B.},
  booktitle={Proceedings of the 2012 USENIX conference on Annual Technical Conference},
  pages={21--21},
  year={2012},
  organization={USENIX Association}
}
@article{HSTORE:kallman2008h,
  title={H-store: a high-performance, distributed main memory transaction processing system},
  author={Kallman, R. and Kimura, H. and Natkins, J. and Pavlo, A. and Rasin, A. and Zdonik, S. and Jones, E.P.C. and Madden, S. and Stonebraker, M. and Zhang, Y. and others},
  journal={Proceedings of the VLDB Endowment},
  volume={1},
  number={2},
  pages={1496--1499},
  year={2008},
  publisher={VLDB Endowment}
}
@inproceedings{harizopoulos2008oltp,
  title={OLTP through the looking glass, and what we found there},
  author={Harizopoulos, S. and Abadi, D.J. and Madden, S. and Stonebraker, M.},
  booktitle={Proceedings of the 2008 ACM SIGMOD international conference on Management of data},
  pages={981--992},
  year={2008},
  organization={ACM}
}
@inproceedings{Stonebraker:2007:EAE:1325851.1325981,
 author = {Stonebraker, Michael and Madden, Samuel and Abadi, Daniel J. and Harizopoulos, Stavros and Hachem, Nabil and Helland, Pat},
 title = {The end of an architectural era: (it's time for a complete rewrite)},
 booktitle = {Proceedings of the 33rd international conference on Very large data bases},
 series = {VLDB '07},
 year = {2007},
 isbn = {978-1-59593-649-3},
 location = {Vienna, Austria},
 pages = {1150--1160},
 numpages = {11},
 url = {http://dl.acm.org/citation.cfm?id=1325851.1325981},
 acmid = {1325981},
 publisher = {VLDB Endowment},
} 
@inproceedings{GMU:peluso2012scalability,
  title={When scalability meets consistency: Genuine multiversion update-serializable partial data replication},
  author={Peluso, S. and Ruivo, P. and Romano, P. and Quaglia, F. and Rodrigues, L.},
  booktitle={Distributed Computing Systems (ICDCS), 2012 IEEE 32nd International Conference on},
  pages={455--465},
  year={2012},
  organization={IEEE}
}
@InProceedings{EUS:HansdahPatnaik,
    author	= {R. Hansdah and L. Patnaik},
    year	= 1986,
    title	= {Update Serializability in Locking},
    booktitle	= {Proc. of International Conference on Database Theory},
    address	= {ser},
    volume	= 243,
    note	= {Lecture Notes in Computer Science. Springer Berlin / Heidelberg, pp. 171–185}
}
@inproceedings{Kulkarni:2009:TBT:1504176.1504228,
 author = {Kulkarni, Chinmay Eishan and Unsal, Osman and Cristal, Adri\'{a}n and Ayguad{\'e}, Eduard and Valero, Mateo},
 title = {Turbocharging boosted transactions or: how i learnt to stop worrying and love longer transactions},
 booktitle = {Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming},
 series = {PPoPP '09},
 year = {2009},
 isbn = {978-1-60558-397-6},
 location = {Raleigh, NC, USA},
 pages = {307--308},
 numpages = {2},
 url = {http://doi.acm.org/10.1145/1504176.1504228},
 doi = {10.1145/1504176.1504228},
 acmid = {1504228},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {concurrency, deadlock-detection, deadlocks, parallel programming, transactional memory},
} 
@phdthesis{moss1981nested,
  title={Nested transactions: an approach to reliable distributed computing},
  author={Moss, J.E.B. and Eliot, B.},
  year={1981},
  school={Citeseer}
}
@article{garcia1983using,
  title={Using semantic knowledge for transaction processing in a distributed database},
  author={Garcia-Molina, H.},
  journal={ACM Transactions on Database Systems (TODS)},
  volume={8},
  number={2},
  pages={186--213},
  year={1983},
  publisher={ACM}
}
@article{TwoPC:weikum1991principles,
  title={Principles and realization strategies of multilevel transaction management},
  author={Weikum, G.},
  journal={ACM Transactions on Database Systems (TODS)},
  volume={16},
  number={1},
  pages={132--180},
  year={1991},
  publisher={ACM}
}
@article{moss2006nested,
  title={Nested transactional memory: model and architecture sketches},
  author={Moss, J.E.B. and Hosking, A.L.},
  journal={Science of Computer Programming},
  volume={63},
  number={2},
  pages={186--201},
  year={2006},
  publisher={Elsevier}
}
@inproceedings{moss2006open,
  title={Open nested transactions: Semantics and support},
  author={Moss, J.E.B.},
  booktitle={Workshop on Memory Performance Issues},
  volume={28},
  year={2006}
}
@inproceedings{moravan2006supporting,
  title={Supporting nested transactional memory in LogTM},
  author={Moravan, M.J. and Bobba, J. and Moore, K.E. and Yen, L. and Hill, M.D. and Liblit, B. and Swift, M.M. and Wood, D.A.},
  booktitle={ACM Sigplan Notices},
  volume={41},
  number={11},
  pages={359--370},
  year={2006},
  organization={ACM}
}
@article{agrawal2009safe,
  title={Safe open-nested transactions through ownership},
  author={Agrawal, K. and Lee, I. and Sukha, J. and others},
  journal={ACM Sigplan Notices},
  volume={44},
  number={4},
  pages={151--162},
  year={2009},
  publisher={ACM}
}
@inproceedings{herlihy2008transactional,
  title={Transactional boosting: a methodology for highly-concurrent transactional objects},
  author={Herlihy, M. and Koskinen, E.},
  booktitle={Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming},
  pages={207--216},
  year={2008},
  organization={ACM}
}
@inproceedings{koskinen2008checkpoints,
  title={Checkpoints and continuations instead of nested transactions},
  author={Koskinen, E. and Herlihy, M.},
  booktitle={Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures},
  pages={160--168},
  year={2008},
  organization={ACM}
}
@inproceedings{willhalm2008putting,
  title={Putting intel{\textregistered} threading building blocks to work},
  author={Willhalm, T. and Popovici, N.},
  booktitle={Proceedings of the 1st international workshop on Multicore software engineering},
  pages={3--4},
  year={2008},
  organization={ACM}
}
@book{karlsson2005beyond,
  title={Beyond the C++ Standard Library: An Introduction to Boost},
  author={Karlsson, B.},
  year={2005},
  publisher={Addison-Wesley Professional}
}
@Article{MsgConnect:2012,
    author	= {MsgConnect},
    year	= 2012,
    title	= {Eldos Corporation},
    note	= {“MsgConnect™ - cross-platform communication framework for your applications”.
Accessed November, 2012 at http://www.eldos.com/msgconnect/}
}
@article{hintjens2011omq,
  title={{\O}MQ-The Guide},
  author={Hintjens, P.},
  journal={Online: http://zguide. zeromq. org/page: all, Accessed on},
  volume={23},
  year={2011}
}
@book{forouzan2002tcp,
  title={TCP/IP protocol suite},
  author={Forouzan, B.A.},
  year={2002},
  publisher={McGraw-Hill, Inc.}
}
@inproceedings{guerraoui2009semantics,
  title={The semantics of progress in lock-based transactional memory},
  author={Guerraoui, R. and Kapalka, M.},
  booktitle={ACM SIGPLAN Notices},
  volume={44},
  number={1},
  pages={404--415},
  year={2009},
  organization={ACM}
}
@article{lamport1978time,
  title={Time, clocks, and the ordering of events in a distributed system},
  author={Lamport, L.},
  journal={Communications of the ACM},
  volume={21},
  number={7},
  pages={558--565},
  year={1978},
  publisher={ACM}
}
@inproceedings{flanagan1993essence,
  title={The essence of compiling with continuations},
  author={Flanagan, C. and Sabry, A. and Duba, B.F. and Felleisen, M.},
  booktitle={ACM SIGPLAN Notices},
  volume={28},
  number={6},
  pages={237--247},
  year={1993},
  organization={ACM}
}
@inproceedings{Alex:ONTFA2367601,
 author = {Turcu, Alexandru and Ravindran, Binoy},
 title = {On open nesting in distributed transactional memory},
 booktitle = {SYSTOR '12: Proceedings of the 5th Annual International Systems and Storage Conference},
 year = {2012},
 isbn = {978-1-4503-1448-0},
 pages = {1--12},
 location = {Haifa, Israel},
 doi = {http://doi.acm.org/10.1145/2367589.2367601},
 publisher = {ACM},
 address = {New York, NY, USA},
 }
@article{2PL:lin1983basic,
  title={Basic Timeetamp, Multiple Version Timestamp, and Tvo-Phase Locking},
  author={Lin, W.T.A.},
  year={1983}
}
@techreport{turcuhyflow2,
  title={Hyflow2: A High Performance Distributed Transactional Memory Framework in Scala},
  author={Turcu, A. and Ravindran, B.},
  institution={Technical report, Virginia Tech, April 2012. URL http://hyflow. org/hyflow/chrome/site/pub/hyflow2-tech. pdf}
}
@article{schaller1997moore,
  title={Moore's law: past, present and future},
  author={Schaller, R.R.},
  journal={Spectrum, IEEE},
  volume={34},
  number={6},
  pages={52--59},
  year={1997},
  publisher={IEEE}
}
@article{serializabilityFormal,
author={Bernstein,P. A. and Shipman,D. W. and Wong,W. S.},
year={1979},
title={Formal Aspects of Serializability in Database Concurrency Control},
journal={IEEE Transactions on Software Engineering},
volume={5},
number={3},
pages={203-216},
note={Copyright - Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) May 1979; Language of summary - English; Pages - 203-216; ProQuest ID - 195573704; Last updated - 2011-07-20; CODEN - IESEDJ; Place of publication - New York; Corporate institution author - Bernstein, P A; Shipman, D W; Wong, W S; DOI - 1143677; 49143; 17010; IESEDJ; ISO; 00096734; 79-11756},
abstract={An inconsistent data base can result if several update requests are processed concurrently in a database system. This can be prevented, however, if transactions are synchronized to avoid the arbitrary interleaving of operations. A number of concurrent update mechanisms built on the notion of locking have been proposed for synchronizing transactions, and recently several proposals have emerged for alternative synchronization mechanisms. By examining these new methods in a simple centralized system that permits one read and one write operation per transaction, the essential reasons why the mechanisms guarantee serializability were determined. The 2 proposed mechanisms were found to be special cases of locking. A 3rd mechanism, conflict graph analysis, showed that by only synchronizing where necessary, more concurrency is allowed than in classical locking approaches. Formulas.},
keywords={Computers--Software; 5200:Communications & information management},
isbn={00985589},
language={English},
}
}
@inproceedings{bornea2011one,
  title={One-copy serializability with snapshot isolation under the hood},
  author={Bornea, M.A. and Hodson, O. and Elnikety, S. and Fekete, A.},
  booktitle={Data Engineering (ICDE), 2011 IEEE 27th International Conference on},
  pages={625--636},
  year={2011},
  organization={IEEE}
}
@incollection{UpdateSerializability1986,
year={1986},
isbn={978-3-540-17187-4},
booktitle={ICDT '86},
volume={243},
series={Lecture Notes in Computer Science},
editor={Ausiello, Giorgio and Atzeni, Paolo},
doi={10.1007/3-540-17187-8_36},
title={Update serializability in locking},
url={http://dx.doi.org/10.1007/3-540-17187-8_36},
publisher={Springer Berlin Heidelberg},
author={Hansdah, R.C. and Patnaik, L.M.},
pages={171-185}
}
@inproceedings{turcu2012open,
  title={On open nesting in distributed transactional memory},
  author={Turcu, A. and Ravindran, B.},
  booktitle={Proceedings of the 5th Annual International Systems and Storage Conference},
  pages={12},
  year={2012},
  organization={ACM}
}
@inproceedings{turcu2012closed,
  title={On closed nesting in distributed transactional memory},
  author={Turcu, A. and Ravindran, B. and Saad, M.M.},
  booktitle={Seventh ACM SIGPLAN workshop on Transactional Computing},
  year={2012}
}
@inproceedings{Zhang:2011:QRF:2183536.2183539,
 author = {Zhang, Bo and Ravindran, Binoy},
 title = {A quorum-based replication framework for distributed software transactional memory},
 booktitle = {Proceedings of the 15th international conference on Principles of Distributed Systems},
 series = {OPODIS'11},
 year = {2011},
 isbn = {978-3-642-25872-5},
 location = {Toulouse, France},
 pages = {18--33},
 numpages = {16},
 url = {http://dx.doi.org/10.1007/978-3-642-25873-2_3},
 doi = {10.1007/978-3-642-25873-2_3},
 acmid = {2183539},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}
@inproceedings{welc2008irrevocable,
  title={Irrevocable transactions and their applications},
  author={Welc, A. and Saha, B. and Adl-Tabatabai, A.R.},
  booktitle={Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures},
  pages={285--296},
  year={2008},
  organization={ACM}
}
@inproceedings{HTWfirst,
  author    = {Knight, Thomas F.},
  title     = {An Architecture for Mostly Functional Languages},
  booktitle = {Proceedings of ACM Lisp and Functional Programming Conference},
  pages     = {500--519},
  month     = {Aug},
  urlpage   = {http://doi.acm.org/10.1145/319838.319854},
  year      = {1986}
}

@MISC{real-time-cm-09,
author = {Sherif Fahmy and Binoy Ravindran},
TITLE = {On real-time transactional contention management on
deadline-scheduled multicore systems},
Note = {Under review},
Howpublished = {Available \url{http://www.real-time.ece.vt.edu/real-time-CM-09.pdf}},
}

%%% NEW WORK START 

@inproceedings{sr-sac12,
author ={Mohammed El-Shambakey and B. Ravindran}, 
title = {{STM} Concurrency Control for Multicore Embedded Real-Time Software: Time Bounds and Tradeoffs},
booktitle={ACM Symposium on Applied Computing (SAC), Track on Embedded Systems}, 
Year  = {2012},
Note = {To appear, Available \url{www.real-time.ece.vt.edu/SAC2012.pdf}}
}

@inproceedings{kr-ipdps12,
author = {Junwhan Kim and Binoy Ravindran},
title = {Scheduling Closed-Nested Transactions in Distributed Transactional Memory},
booktitle = {IEEE International Parallel \& Distributed Processing Symposium (IPDPS)}, 
Month = {May},
Year = {2012}, Note = {To appear, Available \url{http://hyflow.org/hyflow/chrome/site/pub/rts_tech.pdf}}
}

@TECHREPORT{ntfa-11,
author = {Alexandru Turcu and Binoy Ravindran and Mohamed  Saad},
title = {On Closed Nesting in Distributed Transactional Memory},
INSTITUTION = {ECE Dept., Virginia Tech},
Year = {2011}, Note = {To appear, Available \url{http://hyflow.org/hyflow/chrome/site/pub/ntfa_tech.pdf}}
}

@inproceedings{sr-dac12,
author ={Mohammed El-Shambakey and Binoy Ravindran}, 
title = {{STM} Concurrency Control for Embedded Real-Time
Software with Tighter Time Bounds},
booktitle= {ACM Design Automation Conference (DAC)}, 
Year  = {2012},
Note = {Under review, Available \url{www.real-time.ece.vt.edu/DAC12.pdf}}
}

%%% NEW WORK END

@inproceedings{zha09,
 author = {Zhang, Bo and Ravindran, Binoy},
 title = {Brief Announcement: Relay: A Cache-Coherence Protocol for Distributed Transactional Memory},
 booktitle = {OPODIS '09: Proceedings of the 13th International Conference on Principles of Distributed Systems},
 year = {2009},
 isbn = {978-3-642-10876-1},
 pages = {48--53},
 location = {N\^{\i}mes, France},
 doi = {http://dx.doi.org/10.1007/978-3-642-10877-8_6},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 }

 @MISC{ece5510,
author = {Binoy Ravindran},
title = {{ECE/CS 5510 Multiprocessor Programming}},
year = {Fall 2010},
howpublished = {Graduate Course, ECE and CS Departments, Virginia Tech, Syllabus available at \url{http://www.real-time.ece.vt.edu/5510-Syllabus-Fall11.pdf}}
}


@BOOK{date-10-year-book,
    AUTHOR = "Rudy Lauwereins and Jan Madsen",
    TITLE = {{The Most Influential Papers of 10 Years of ACM DATE}},
    PUBLISHER = "Springer-Verlag",
    ISBN = {978-1-4020-6487-6},
    YEAR = {2008},
    MONTH = {January}
    }


@ARTICLE{ch-lf-tecs,
 author = {Hyeonjoong Cho and Binoy Ravindran and E. Douglas Jensen},
 journal = {ACM Transactions on Embedded Computing Systems},
 volume = {9},
 number = {3},
 pages = {23:1--23:28},
 year = {2010},
 TITLE = {Lock-Free Synchronization for Dynamic   Embedded Real-Time Systems},
 }
 




@inproceedings{zha092,
 author = {Zhang, Bo and Ravindran, Binoy},
 title = {Location-Aware Cache-Coherence Protocols for Distributed Transactional Contention Management in Metric-Space Networks},
 booktitle = {SRDS '09: Proceedings of the 2009 28th IEEE International Symposium on Reliable Distributed Systems},
 year = {2009},
 isbn = {978-0-7695-3826-6},
 pages = {268--277},
 doi = {http://dx.doi.org/10.1109/SRDS.2009.33},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

 @inproceedings{1345823,
 author = {Han, Kai and Ravindran, Binoy and Jensen, E. D.},
 title = {RTG-L: Dependably Scheduling Real-Time Distributable Threads in Large-Scale, Unreliable Networks},
 booktitle = {PRDC '07: Proceedings of the 13th Pacific Rim International Symposium on Dependable Computing},
 year = {2007},
 isbn = {0-7695-3054-0},
 pages = {314--321},
 doi = {http://dx.doi.org/10.1109/PRDC.2007.60},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{soq-08,
 author = {Bo Zhang and Binoy Ravindran},
 title = {{SOQ}: A Service-Oriented Quorum-Based Protocol for Resilient Real-Time Communication in Partitionable Networks},
 booktitle = {PRDC '08: Proceedings of the Pacific Rim International Symposium on Dependable Computing},
year = {2008},
 pages = {192-199},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

 @inproceedings{zha093,
author = { Bo Zhang and Binoy Ravindran},
title = {Dynamic Analysis of the {Relay} Cache-Coherence Protocol for Distributed Transactional Memory},
year = {2010},
booktitle = {IPDPS '10: Proceedings of the 2010 24th IEEE International Parallel and Distributed Processing Symposium},
publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@article{example,
 author = {Romulo Silva de Oliveira and Joni da Silva Fraga},
 title = {Fixed Priority Scheduling of Tasks with Arbitrary Precedence Constraints in Distributed Hard Real-Time Systems},
 journal = {Journal of Systems Architecture},
 volume = {49},
 number = {11},
 year = {2000},
 pages = {991--1004},
 }




  @inproceedings{676130,
 author = {Aguilera, Marcos Kawazoe and Lann, G\'{e}rard Le and Toueg, Sam},
 title = {On the Impact of Fast Failure Detectors on Real-Time Fault-Tolerant Systems},
 booktitle = {DISC '02: Proceedings of the 16th International Conference on Distributed Computing},
 year = {2002},
 isbn = {3-540-00073-9},
 pages = {354--370},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }


@article{627221,
 author = {Hermant,, Jean-Fran\c{c}ois and Le Lann,, G\'{e}rard},
 title = {Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems},
 journal = {IEEE Trans. Comput.},
 volume = {51},
 number = {8},
 year = {2002},
 issn = {0018-9340},
 pages = {931--944},
  publisher = {IEEE Computer Society}, }


@inproceedings{DBLP:conf/opodis/HermantW05,
  author    = {Jean-Fran\c{c}ois Hermant and
               Josef Widder},
  title     = {Implementing Reliable Distributed Real-Time Systems with
               the {\it Theta}-Model},
  booktitle = {OPODIS'05: 9th International Conference on Principles of Distributed Systems},
  year      = {2005},
  pages     = {334-350},
   publisher = {Springer-Verlag},
   series    = {Lecture Notes in Computer Science},
  volume    = {3974/2006},
   address = {London, UK},
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SCHED ANALYSIS %%%%%%%%%%%%%

@inproceedings{829048,
 author = {Palencia, J. C. and Gonz\'{a}lez Harbour, M.},
 title = {Schedulability Analysis for Tasks with Static and Dynamic Offsets},
 booktitle = {RTSS '98: Proceedings of the IEEE Real-Time Systems Symposium},
 year = {1998},
 isbn = {0-8186-9212-X},
 pages = {26},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }


@inproceedings{956586,
 author = {Harbour, M. Gonz\'{a}lez and Palencia, J. C.},
 title = {Response Time Analysis for Tasks Scheduled under {EDF} within Fixed Priorities},
 booktitle = {RTSS '03: Proceedings of the 24th IEEE International Real-Time Systems Symposium},
 year = {2003},
 isbn = {0-7695-2044-8},
 pages = {200},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }



@inproceedings{ph03,
 author = {Palencia,, J. C. and Harbour,, M. Gonz\'{a}lez},
 title = {Offset-based response time analysis of distributed systems scheduled under {EDF}},
 booktitle = {ECRTS'03: 15th IEEE Euromicro Conference on Real-Time Systems},
 year = {2003},
  pages = {3- 12},
   publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
  }



 @inproceedings{1049897,
 author = {Pellizzoni, Rodolfo and Lipari, Giuseppe},
 title = {Improved Schedulability Analysis of Real-Time Transactions with Earliest Deadline Scheduling},
 booktitle = {RTAS '05: Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium},
 year = {2005},
 isbn = {0-7695-2302-1},
 pages = {66--75},
 doi = {http://dx.doi.org/10.1109/RTAS.2005.28},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }



@article{195618,
 author = {Tindell,, Ken and Clark,, John},
 title = {Holistic schedulability analysis for distributed hard real-time systems},
 journal = {Microprocess. Microprogram.},
 volume = {40},
 number = {2-3},
 year = {1994},
 issn = {0165-6074},
 pages = {117--134},
 publisher = {Elsevier Science Publishers B. V.},
  }


@TECHREPORT{spuri96,
  AUTHOR =       {M. Spuri},
  title =        {Holistic Analysis of Deadline Scheduled Real-Time Distributed Systems},
  year =         {1996},
INSTITUTION = "INRIA, France",
  Number  =        {RR-2873}
  }


@PHDTHESIS{cla90,
    AUTHOR = "R. K. Clark",
    TITLE = "Scheduling Dependent Real-Time Activities",
    SCHOOL = "CMU",
    Note = {CMU-CS-90-155},
    YEAR = {1990}
}




 @article{curley09-tecs,
 author = {E. Curley and B. Ravindran and J. Anderson and E. D. Jensen},
 title = {Recovering from Distributable Thread Failures in Distributed Real-Time {Java}},
 journal = {ACM Transactions on Embedded Computing Systems},
 year = {2010},
 Note = {To appear in 2010, available \url{http://www.real-time.ece.vt.edu/tecs09.pdf}}
 }

 @MISC{chronos,
 author = {Virginia Tech Real-Time Systems Laboratory},
 title = {The {ChronOS} Distributed Real-Time Linux Kernel},
 year = {2008},
 Howpublished = {Available \url{http://www.real-time.ece.vt.edu/chronos.html}}
 }


@inproceedings{opl02,
 author = {Oplinger, Jeffrey and Lam, Monica S.},
 title = {Enhancing software reliability with speculative threads},
 booktitle = {ASPLOS-X: Proceedings of the 10th international conference on Architectural support for programming languages and operating systems},
 year = {2002},
 isbn = {1-58113-574-2},
 pages = {184--196},
 location = {San Jose, California},
 doi = {http://doi.acm.org/10.1145/605397.605417},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@inproceedings{her06-podc,
 author = {Herlihy, Maurice},
 title = {The art of multiprocessor programming},
 booktitle = {PODC '06: Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing},
 year = {2006},
 isbn = {1-59593-384-0},
 pages = {1--2},
 location = {Denver, Colorado, USA},
 doi = {http://doi.acm.org/10.1145/1146381.1146382},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{mart02,
 author = {Mart\'{\i}nez, Jos\'{e} F. and Torrellas, Josep},
 title = {Speculative synchronization: applying thread-level speculation to explicitly parallel applications},
 booktitle = {ASPLOS-X: Proceedings of the 10th international conference on Architectural support for programming languages and operating systems},
 year = {2002},
 isbn = {1-58113-574-2},
 pages = {18--29},
 location = {San Jose, California},
 doi = {http://doi.acm.org/10.1145/605397.605400},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{ston93,
 author = {Stone, Janice M. and Stone, Harold S. and Heidelberger, Philip and Turek, John},
 title = {Multiple Reservations and the {Oklahoma} Update},
 journal = {IEEE Parallel Distrib. Technol.},
 volume = {1},
 number = {4},
 year = {1993},
 issn = {1063-6552},
 pages = {58--71},
 doi = {http://dx.doi.org/10.1109/88.260295},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }

@article{ahs+94,
 author = {Herlihy, Maurice P. and Wing, Jeannette M.},
 title = {Linearizability: a correctness condition for concurrent objects},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {12},
 number = {3},
 year = {1990},
 issn = {0164-0925},
 pages = {463--492},
 doi = {http://doi.acm.org/10.1145/78969.78972},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @inproceedings{dic07,
 author = {Dice, Dave and Shavit, Nir},
 title = {Understanding Tradeoffs in Software Transactional Memory},
 booktitle = {CGO '07: Proceedings of the International Symposium on Code Generation and Optimization},
 year = {2007},
 isbn = {0-7695-2764-7},
 pages = {21--33},
 doi = {http://dx.doi.org/10.1109/CGO.2007.38},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

 @inproceedings{dol08,
 author = {Dolev, Shlomi and Hendler, Danny and Suissa, Adi},
 title = {{CAR-STM}: scheduling-based collision avoidance and resolution for software transactional memory},
 booktitle = {PODC '08: Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing},
 year = {2008},
 isbn = {978-1-59593-989-0},
 pages = {125--134},
 location = {Toronto, Canada},
 doi = {http://doi.acm.org/10.1145/1400751.1400769},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{hw90,
 author = {Aspnes, James and Herlihy, Maurice and Shavit, Nir},
 title = {Counting networks},
 journal = {J. ACM},
 volume = {41},
 number = {5},
 year = {1994},
 issn = {0004-5411},
 pages = {1020--1048},
 doi = {http://doi.acm.org/10.1145/185675.185815},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @inproceedings{lee08,
    author = {Edward A. Lee},
    title = {Cyber Physical Systems: Design Challenges},
    booktitle = {International Symposium on
              Object/Component/Service-Oriented Real-Time
              Distributed Computing (ISORC)},
    month = {May},
    year = {2008},
    note = {Invited Paper},
    URL = {http://chess.eecs.berkeley.edu/pubs/427.html}
}

@inproceedings{gra88,
 author = {Gray, Jim},
 title = {The transaction concept: virtues and limitations (invited paper)},
 booktitle = {VLDB '1981: Proceedings of the seventh international conference on Very Large Data Bases},
 year = {1981},
 pages = {144--154},
 location = {Cannes, France},
 publisher = {VLDB Endowment},
 }

@inproceedings{her06,
 author = {Herlihy, Maurice and Luchangco, Victor and Moir, Mark},
 title = {A flexible framework for implementing software transactional memory},
 booktitle = {OOPSLA '06: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications},
 year = {2006},
 isbn = {1-59593-348-4},
 pages = {253--262},
 location = {Portland, Oregon, USA},
 doi = {http://doi.acm.org/10.1145/1167473.1167495},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@article{ham04,
 author = {Hammond, Lance and Wong, Vicky and Chen, Mike and Carlstrom, Brian D. and Davis, John D. and Hertzberg, Ben and Prabhu, Manohar K. and Wijaya, Honggo and Kozyrakis, Christos and Olukotun, Kunle},
 title = {Transactional Memory Coherence and Consistency},
 journal = {SIGARCH Comput. Archit. News},
 volume = {32},
 number = {2},
 year = {2004},
 issn = {0163-5964},
 pages = {102},
 doi = {http://doi.acm.org/http://doi.acm.org/10.1145/1028176.1006711},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{herlihy93transactional,
    author = {M. Herlihy and J. E. B. Moss},
    title = {Transactional Memory: Architectural Support For Lock-Free Data Structures},
    booktitle = {Proceedings of the Twentieth Annual International Symposium on Computer Architecture},
    year = {1993},
    url = "citeseer.ist.psu.edu/herlihy93transactional.html"
}

@inproceedings{STMshavit95,
    author = {Nir Shavit and Dan Touitou},
    title = {Software Transactional Memory},
    booktitle = {PODC},
    pages = {204-213},
    year = {1995},
    url = "citeseer.ist.psu.edu/shavit95software.html" }

%new stuff added here

@inproceedings{isr94,
 author = {Israeli, Amos and Rappoport, Lihu},
 title = {Disjoint-access-parallel implementations of strong shared memory primitives},
 booktitle = {PODC '94: Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing},
 year = {1994},
 isbn = {0-89791-654-9},
 pages = {151--160},
 location = {Los Angeles, California, United States},
 doi = {http://doi.acm.org/10.1145/197917.198079},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{moir:wait-free-transactions-mwcas:iwda:1997,
  author    = {Moir, Mark},
  title     = {Transparent Support for Wait-Free Transactions},
  booktitle = {11th International Workshop on Distributed Algorithms},
  pages     = {305--319},
  month     = {Sep},
  year      = {1997}
}

@inproceedings{herlihy:stm-dynamic:podc:2003,
  author    = {Herlihy, Maurice and Luchangco, Victor and Moir, Mark and {William N. Scherer}, III},
  title     = {Software Transactional Memory for Dynamic-Sized Data Structures},
  booktitle = {PODC},
  pages     = {92--101},
  month     = {Jul},
  urlpage   = {http://doi.acm.org/10.1145/872035.872048},
  year      = {2003}
}

@inproceedings{harris:transactions:oopsla:2003,
  author    = {Harris, Tim and Fraser, Keir},
  title     = {Language Support for Lightweight Transactions},
  booktitle = {Object-Oriented Programming, Systems, Languages, and Applications},
  pages     = {388--402},
  month     = {Oct},
  urlpage   = {http://doi.acm.org/10.1145/949305.949340},
  year      = {2003}
}

@inproceedings{scherer:contention-mgmt:csjp:2004,
  author    = {{{Scherer III}}, William N. and Scott, Michael L.},
  title     = {Contention Management in Dynamic Software Transactional Memory},
  booktitle = {Proceedings of the ACM PODC Workshop on Concurrency and Synchronization in Java Programs},
  address   = {St. John's, NL, Canada},
  month     = {Jul},
  year      = {2004},
  pdf       = {http://www.cs.rochester.edu/u/scott/papers/2004_CSJP_contention_mgmt.pdf},
  note      = {In conjunction with PODC'04.}
}



@inproceedings{marathe:stm-tradeoffs:lcr:2004,
  author    = {Marathe, Virendra J. and {{Scherer III}}, William N. and Scott, Michael L.},
  title     = {Design Tradeoffs in Modern Software Transactional Memory Systems},
  booktitle = {Proceedings of the 7th Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers},
  address   = {Houston, TX},
  month     = {Oct},
  year      = {2004},
  pdf       = {http://www.cs.rochester.edu/u/scott/papers/2004_LCR_STM_LNCS.pdf}
}


@inproceedings{welc:transactional-monitors:ecoop:2004,
  author    = {Welc, Adam and Jagannathan, Suresh and Hosking, Antony L.},
  editor    = {},
  title     = {Transactional monitors for concurrent objects},
  booktitle = {Proceedings of the European Conference on Object-Oriented Programming},
  year      = {2004},
  date      = {Jun},
  location  = {Oslo, Norway},
  publisher = {Springer-Verlag},
  volume    = {3086},
  series    = {Lecture Notes in Computer Science},
  isbn      = {3-540-22159-X},
  pages     = {519--542},
  urlpage   = {http://www.ovmj.org/transactions/papers/ecoop04.html}
}


 @article{edm03,
 author = {Edmonds, Jeff and Chinn, Donald D. and Brecht, Tim and Deng, Xiaotie},
 title = {Non-clair voy ant multiprocessor scheduling of jobs with changing execution characteristics},
 journal = {J. of Scheduling},
 volume = {6},
 number = {3},
 year = {2003},
 issn = {1094-6136},
 pages = {231--250},
 doi = {http://dx.doi.org/10.1023/A:1022952324290},
 publisher = {Kluwer Academic Publishers},
 address = {Hingham, MA, USA},
 }


@article{mot93,
 author = {Motwani, Rajeev and Phillips, Steven and Torng, Eric},
 title = {Nonclairvoyant scheduling},
 journal = {Theor. Comput. Sci.},
 volume = {130},
 number = {1},
 year = {1994},
 issn = {0304-3975},
 pages = {17--47},
 doi = {http://dx.doi.org/10.1016/0304-3975(94)90151-1},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
 }


@inproceedings{marathe:wstm-poster:podc:2005,
  author    = {Marathe, Virendra J. and Scott, Michael L.},
  title     = {Using LL/SC to Simplify Word-based Software Transactional Memory (POSTER)},
  booktitle = {Proceedings of ACM PODC},
  address   = {Las Vegas, NV},
  month     = {Jul},
  year      = {2005},
  pdf       = {http://www.cs.rochester.edu/u/scott/papers/2005_PODC_WSTM_poster.pdf}
}

@inproceedings{scherer:adv-contention-mgmt:podc:2005,
  author    = {{{Scherer III}}, William N. and Scott, Michael L.},
  title     = {Advanced Contention Management for Dynamic Software Transactional Memory},
  booktitle = {Proceedings of ACM PODC},
  address   = {Las Vegas, NV},
  month     = {Jul},
  year      = {2005},
  pdf       = {http://www.cs.rochester.edu/u/scott/papers/2005_PODC_CM.pdf}
}

@inproceedings{scherer:random-cm-poster:podc:2005,
  author    = {{{Scherer III}}, William N. and Scott, Michael L.},
  title     = {Randomization in STM Contention Management (POSTER)},
  booktitle = {Proceedings of ACM PODC},
  address   = {Las Vegas, NV},
  month     = {Jul},
  year      = {2005},
  pdf       = {http://www.cs.rochester.edu/u/scott/papers/2005_PODC_Rand_CM_poster.pdf}
}

@inproceedings{marathe:astm:disc:2005,
  author    = {Marathe, Virendra J. and {{Scherer III}}, William N. and Scott, Michael L.},
  title     = {Adaptive Software Transactional Memory},
  booktitle = {Proceedings of the 19th International Symposium on Distributed Computing},
  address   = {Cracow, Poland},
  month     = {Sep},
  year      = {2005},
  note      = {Earlier but expanded version available as TR 868, University of Rochester Computer Science Dept., May2005},
  pdf       = {http://www.cs.rochester.edu/u/scott/papers/2005_DISC_ASTM.pdf}
}

@inproceedings{ananian:flexstm:scool:2005,
  author    = {Ananian, C. Scott and Rinard, Martin},
  title     = {Efficient Object-Based Software Transactions},
  booktitle = {Proceedings, Workshop on Synchronization and Concurrency in Object-Oriented Languages},
  address   = {San Diego, CA},
  month     = {Oct},
  year      = {2005},
  note      = {In conjunction with OOPSLA'05},
  urlpage   = {http://hdl.handle.net/1802/2102}
}

@inproceedings{DBLP:conf/wdag/GuerraouiHP05,
  author    = {Rachid Guerraoui and
               Maurice Herlihy and
               Bastian Pochon},
  title     = {Polymorphic Contention Management},
  booktitle = {DISC},
  year      = {2005},
  pages     = {303-323},
  ee        = {http://dx.doi.org/10.1007/11561927_23},
  crossref  = {DBLP:conf/wdag/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/wdag/2005,
  editor    = {Pierre Fraigniaud},
  title     = {Distributed Computing, 19th International Conference, DISC
               2005, Cracow, Poland, September 26-29, 2005, Proceedings},
  booktitle = {DISC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3724},
  year      = {2005},
  isbn      = {3-540-29163-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{guerraoui:robust-contention-management:scool:2005,
  author    = {Guerraoui, Rachid and Herlihy, Maurice and Kapalka, Michal and Pochon, Bastian},
  title     = {Robust Contention Management in Software Transactional Memory},
  booktitle = {Proceedings of SCOOL},
  year      = {2005},
  month     = {October},
  location  = {San Diego, California, USA},
  pdf       = {http://lpd.epfl.ch/kapalka/files/robust-cm-scool05.pdf}
}

@inproceedings{couceiro:d2stm:prdc:2009,
  author	= {Couceiro, M. and Romano, P. and Carvalho, N. and Rodrigues, L.},
  title		= {{D2STM}: Dependable Distributed Software Transactional Memory},
  booktitle	= {PRDC~'09: Proc. 15th Pacific Rim International Symposium on Dependable Computing},
  pdf		= {http://www.gsd.inesc-id.pt/~ler/reports/prdc09.pdf},
  year		= {2009},
  month		= {nov},
}

@incollection {kr-sss10,
   author = {Kim, Junwhan and Ravindran, Binoy},
   affiliation = {ECE Department, Virginia Tech, Blacksburg, VA 24061},
   title = {On Transactional Scheduling in Distributed Transactional Memory Systems},
   booktitle = {Stabilization, Safety, and Security of Distributed Systems},
   series = {Lecture Notes in Computer Science},
   editor = {Dolev, Shlomi and Cobb, Jorge and Fischer, Michael and Yung, Moti},
   publisher = {Springer Berlin / Heidelberg},
      pages = {347-361},
   volume = {6366},
    year = {2010}
}

@inproceedings{lev:track-object-visibility:2005,
  author    = {Lev, Yossi and Maessen, Jan-Willem},
  title     = {Toward a Safer Interaction with Transactional Memory by Tracking Object Visibility},
  month     = {October},
  year      = {2005},
  booktitle = {Proceedings, Workshop on Synchronization and Concurrency in Object-Oriented Languages},
  address   = {San Diego, CA}
}
@article{romano:cloud-tm:sigops-review:2010,
  author	= {Romano, Paolo and Rodrigues, Luis and Carvalho, Nuno and Cachopo, Joao},
  title		= {{Cloud-TM}: harnessing the cloud with distributed transactional memories},
  journal	= {SIGOPS Oper. Syst. Rev.},
  volume	= {44},
  issue		= {2},
  month		= {April},
  year		= {2010},
  issn		= {0163-5980},
  pages		= {1--6},
  doi		= {http://doi.acm.org/10.1145/1773912.1773914},
  acmid		= {1773914},
  publisher	= {ACM},
  address	= {New York, NY, USA},
  urlpage	= {http://doi.acm.org/10.1145/1773912.1773914}
}


@incollection{romano:distribute-tm-clusters:lncs:2009,
  author	= {Romano, Paolo and Carvalho, Nuno and Couceiro, Maria and Rodrigues, Luis and Cachopo, Joao},
  editor	= {},
  title		= {Towards the Integration of Distributed Transactional Memories in Application Servers Clusters},
  booktitle	= {Quality of Service in Heterogeneous Networks},
  series	= {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering},
  publisher	= {Springer Berlin Heidelberg},
  isbn		= {978-3-642-10625-5},
  keyword	= {Computer Science},
  pages		= {755-769},
  volume	= {22},
   note		= {(Invited paper)},
  year		= {2009},
  urlpage	= {http://www.springerlink.com/content/v346821067632270}
}



@inproceedings{kumar:hybridtm:ppopp:2006,
  author    = {Kumar, Sanjeev and Chu, Michael and {J. Hughes}, Christopher and Kundu, Partha and Nguyen, Anthony},
  title     = {Hybrid Transactional Memory},
  booktitle = {{PPoPP}},
  year      = {2006},
  month     = {Mar},
  urlpage   = {http://doi.acm.org/10.1145/1122971.1123003}
}

@inproceedings{sah06,
 author = {Saha, Bratin and Adl-Tabatabai, Ali-Reza and Jacobson, Quinn},
 title = {Architectural Support for Software Transactional Memory},
 booktitle = {MICRO 39: Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture},
 year = {2006},
 isbn = {0-7695-2732-9},
 pages = {185--196},
 doi = {http://dx.doi.org/10.1109/MICRO.2006.9},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{saha:mcrtstm2:popl:2006,
  author    = {Saha, Bratin and Adl-Tabatabai, Ali-Reza and Hudson, Richard L. and {{Cao Minh}}, Chi and Hertzberg, Benjamin},
  title     = {{McRT-STM}: a High Performance Software Transactional Memory System for a Multi-core Runtime},
  pages     = {187-197},
  booktitle = {PPoPP '06},
  year      = {2006},
  month     = {Mar},
  urlpage   = {http://doi.acm.org/10.1145/1122971.1123001}
}

@article{shp07,
 author = {Shpeisman, Tatiana and Menon, Vijay and Adl-Tabatabai, Ali-Reza and Balensiefer, Steven and Grossman, Dan and Hudson, Richard L. and Moore, Katherine F. and Saha, Bratin},
 title = {Enforcing isolation and ordering in {STM}},
 journal = {SIGPLAN Not.},
 volume = {42},
 number = {6},
 year = {2007},
 issn = {0362-1340},
 pages = {78--88},
 doi = {http://doi.acm.org/10.1145/1273442.1250744},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{adl-tabatabai:mcrtstm:pldi:2006,
  author    = {Adl-Tabatabai, Ali-Reza and Lewis, Brian T. and Menon, Vijay and Murphy, Brian R. and Saha, Bratin and Shpeisman, Tatiana},
  title     = {Compiler and Runtime Support for Efficient Software Transactional Memory},
  booktitle = {Proceedings of the 2006 Conference on Programming language design and implementation},
  year      = {2006},
  pages     = {26--37},
  urlpage   = {http://doi.acm.org/10.1145/1133981.1133985},
  month     = {Jun},
}


@inproceedings{dice:tl1:transact:2006,
  author    = {Dice, David and Shavit, Nir},
  title     = {What Really Makes Transactions Faster?},
  booktitle = {Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing},
  month     = {Jun},
  year      = {2006},
  pdf       = {http://research.sun.com/scalable/pubs/TRANSACT2006-TL.pdf}
}

@inproceedings{marathe:rstm:transact:2006,
  author    = {Marathe, Virendra J. and Spear, Michael F. and Heriot, Christopher and Acharya, Athul and Eisenstat, David and {{Scherer III}}, William N. and Scott, Michael L.},
  title     = {Lowering the Overhead of Software Transactional Memory},
  booktitle = {ACM SIGPLAN Workshop on Transactional Computing},
  month     = {Jun},
  year      = {2006},
  note      = {Held in conjunction with PLDI 2006. Expanded version available as TR 893, Department of Computer Science, University of Rochester, March 2006},
  pdf       = {http://www.cs.rochester.edu/u/scott/papers/2006_TRANSACT_RSTM.pdf},
}

@inproceedings{riegel:sistm:transact:2006,
  author    = {Riegel, Torvald and Fetzer, Christof and Felber, Pascal},
  booktitle = {Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing},
  month     = {Jun},
  title     = {Snapshot Isolation for Software Transactional Memory },
  year      = {2006},
  pdf       = {http://se.inf.tu-dresden.de/papers/preprint-riegel2006sistm.pdf},
}

@inproceedings{welc:transactions-java-locks:ecoop:2006,
  author    = {Welc, Adam and Hosking, Antony L. and Jagannathan, Suresh},
  title     = {Transparently Reconciling Transactions with Locking for Java Synchronization},
  booktitle = {European Conference on Object-Oriented Programming},
  pages     = {148--173},
  year      = {2006},
  month     = {Jul},
  pdf       = {http://www.cs.purdue.edu/homes/suresh/papers/ecoop06.pdf}
}

@incollection{riegel:lsa:disc:2006,
  author    = {Riegel, Torvald and Felber, Pascal and Fetzer, Christof},
  editor    = {},
  title     = {A Lazy Snapshot Algorithm with Eager Validation},
  booktitle = {{DISC} 2006},
  publisher = {Springer},
  month     = {Sep},
  year      = {2006},
  volume    = {4167},
  isbn      = {3-540-44624-9},
  pages     = {284--298},
  series    = {Lecture Notes in Computer Science},
  urlpage   = {http://dx.doi.org/10.1007/11864219_20},
  pdf       = {http://se.inf.tu-dresden.de/papers/preprint-riegel2006lsa.pdf},
}

@inproceedings{yoo:adaptive:spaa:2008,
 author = {Yoo, Richard M. and Lee, Hsien-Hsin S.},
 title = {Adaptive transaction scheduling for transactional memory systems},
 booktitle = {SPAA '08},
 year = {2008},
 isbn = {978-1-59593-973-9},
 pages = {169--178},
  }

@INPROCEEDINGS{Ansari09steal-on-abort:improving,
    author = {Mohammad Ansari and Mikel Luj\A8\A2n and Christos Kotselidis and Kim Jarvis and Chris Kirkham and Ian Watson},
    title = {Steal-on-abort: Improving transactional memory performance through dynamic transaction reordering},
    booktitle = {In High Performance Embedded Architectures and Compilers, Fourth International Conference (HiPEAC},
    year = {2009},
    pages = {4--18}
}

@proceedings{DBLP:conf/hipeac/2009,
  editor    = {Andr{\'e} Seznec and
               Joel S. Emer and
               others},
  title     = {HiPEAC},
  booktitle = {HiPEAC},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {5409},
  year      = {2009},
  isbn      = {978-3-540-92989-5},
  ee        = {http://dx.doi.org/10.1007/978-3-540-92990-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DHS:CAR:STM:podc:2008,
 author = {Dolev, Shlomi and Hendler, Danny and Suissa, Adi},
 title = {\uppercase{CAR-STM}: scheduling-based collision avoidance and resolution for software transactional memory},
 booktitle = {PODC '08},
 year = {2008},
 isbn = {978-1-59593-989-0},
 pages = {125--134},
 location = {Toronto, Canada},
  }


@inproceedings{dragojevi09,
 author = {Dragojevi\'{c}, Aleksandar and Guerraoui, Rachid and others},
 title = {Preventing versus curing: avoiding conflicts in transactional memories},
 booktitle = {PODC '09},
 year = {2009},
 isbn = {978-1-60558-396-9},
 pages = {7--16},
  }


@inproceedings{dpqtm10,
 author = {Zhang, Bo and Ravindran, Binoy},
 title = {Brief announcement: queuing or priority queuing? on the design of cache-coherence protocols for distributed transactional memory},
 booktitle = {Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing},
 series = {PODC '10},
 year = {2010},
 isbn = {978-1-60558-888-9},
 location = {Zurich, Switzerland},
 pages = {75--76},
 numpages = {2},
 url = {http://doi.acm.org/10.1145/1835698.1835716},
 doi = {http://doi.acm.org/10.1145/1835698.1835716},
 acmid = {1835716},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {cache-coherence protocols, distributed queuing, transactional memory},
}



    @inproceedings{dda,
 author = {Zhang, Bo and Ravindran, Binoy},
 title = {Brief announcement: on enhancing concurrency in distributed transactional memory},
 booktitle = {Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing},
 series = {PODC '10},
 year = {2010},
 isbn = {978-1-60558-888-9},
 location = {Zurich, Switzerland},
 pages = {73--74},
 numpages = {2},
 url = {http://doi.acm.org/10.1145/1835698.1835715},
 doi = {http://doi.acm.org/10.1145/1835698.1835715},
 acmid = {1835715},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {concurrency, transactional memory},
}

@TECHREPORT{dda-tr,
  author = {Zhang, Bo and Ravindran, Binoy},
  title =        {On Enhancing Concurrency in Distributed Transactional Memory},
 INSTITUTION = "Virginia Tech, ECE Dept.",
  MONTH = {December},
  Year = {2010},
  Note = {Available at \url{http://www.real-time.ece.vt.edu/dependence_dtm_tr10.pdf}}
}

@TECHREPORT{dpqtm10-tr,
author = {Zhang, Bo and Ravindran, Binoy},
  title =        {Distributed Queuing or Distributed Priority Queuing? On the Design of
Cache-Coherence Protocols for Distributed Transactional Memory},
 INSTITUTION = "Virginia Tech, ECE Dept.",
  MONTH = {December},
  Year = {2010},
  Note = {Available at \url{http://www.real-time.ece.vt.edu/dpqtm_tr10.pdf}}
}


@article{adl:unlocking-concurrency:acmqueue:2006,
  author    = {Adl-Tabatabai, Ali-Reza and Kozyrakis, Christos and Saha, Bratin Eswaran},
  title     = {Unlocking Concurrency: Multicore Programming with Transactional Memory},
  journal   = {ACM Queue},
  volume    = {4},
  number    = {10},
  pages     = {24--33},
  month     = {Dec},
  year      = {2006},
  pdf       = {http://csl.stanford.edu/~christos/publications/2006.unlocking_concurrency.queue.pdf},
  urlpage   = {http://acmqueue.com/modules.php?name=Content&pa=showpage&pid=444}
}

@inproceedings{damronFLLMN:HyTM:asplos:2006,
  author    = {Damron, Peter and Fedorova, Alexandra and Lev, Yossi and Luchangco, Victor and Moir, Mark and Nussbaum, Dan},
  title     = {Hybrid Transactional Memory},
  booktitle = {ASPLOS},
  pages     = {336-346},
  year      = {2006},
  urlpage   = {http://doi.acm.org/10.1145/1168918.1168900},
  pdf       = {http://research.sun.com/projects/scalable/pubs/ASPLOS2006.pdf}
}

@inproceedings{raj02,
 author = {Rajwar, Ravi and Goodman, James R.},
 title = {Transactional lock-free execution of lock-based programs},
 booktitle = {ASPLOS-X: Proceedings of the 10th international conference on Architectural support for programming languages and operating systems},
 year = {2002},
 isbn = {1-58113-574-2},
 pages = {5--17},
 location = {San Jose, California},
 doi = {http://doi.acm.org/10.1145/605397.605399},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@book{larus:tmbook:mcp:2006,
  author    = {Larus, James R. and Rajwar, Ravi},
  title     = {Transactional Memory},
  year      = {2006},
  publisher = {Morgan and Claypool},
}

@article{shr07,
 author = {Shriraman, Arrvindh and Spear, Michael F. and Hossain, Hemayet and Marathe, Virendra J. and Dwarkadas, Sandhya and Scott, Michael L.},
 title = {An integrated hardware-software approach to flexible transactional memory},
 journal = {SIGARCH Comput. Archit. News},
 volume = {35},
 number = {2},
 year = {2007},
 issn = {0163-5964},
 pages = {104--115},
 doi = {http://doi.acm.org/10.1145/1273440.1250676},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{caominh:hybrid:isca:2007,
  author    = {{Cao Minh}, Chi and Trautmann, Martin and Chung, JaeWoong and McDonald, Austen and Bronson, Nathan and Casper, Jared and Kozyrakis, Christos and Olukotun, Kunle},
  title     = {An Effective Hybrid Transactional Memory System with Strong Isolation Guarantees},
  booktitle = {Proceedings of the 34th Annual International Symposium on Computer Architecture},
  month     = {Jun},
  year      = {2007},
  pdf       = {http://tcc.stanford.edu/publications/tcc_isca2007.pdf},
  urlpage   = {http://doi.acm.org/10.1145/1250662.1250673}
}

@inproceedings{riegel:lsart:spaa:2007,
  author    = {Riegel, Torvald and Fetzer, Christof and Felber, Pascal},
  booktitle = {SPAA},
  month     = {Jun},
  title     = {Time-based Transactional Memory with Scalable Time Bases},
  year      = {2007},
  pdf       = {http://se.inf.tu-dresden.de/papers/preprint-riegel2007lsart.pdf},
  urlpage   = {http://doi.acm.org/10.1145/1248377.1248415}
}

@inproceedings{lourenco:testing-stm:padtad:2007,
  author    = {Lourenco, Joao M.S. and Cunha, Goncalo T.},
  title     = {Testing patterns for software transactional memory engines},
  booktitle = {PADTAD '07},
  year      = {2007},
  isbn      = {978-1-59593-748-3},
  pages     = {36--42},
  location  = {London, United Kingdom},
  publisher = {ACM},
  address   = {New York, NY, USA},
  urlpage   = {http://doi.acm.org/10.1145/1273647.1273655},
  pdf       = {http://www-asc.di.fct.unl.pt/~jml/Papers/2007/padtad21s.pdf}
}

@inproceedings{levMN:PhTM:transact:2007,
  author    = {Lev, Yossi and Moir, Mark and Nussbaum, Dan},
  title     = {{PhTM}: Phased Transactional Memory},
  booktitle = {TRANSACT},
  year      = {2007},
  pdf       = {http://research.sun.com/projects/scalable/pubs/TRANSACT2007-PhTM.pdf}
}

@inproceedings{tabbaWGM:NZTM:transact:2007,
  author    = {Tabba, Fuad and Wang, Cong and Goodman, James R. and Moir, Mark},
  title     = {{NZTM}: Nonblocking, Zero-Indirection Transactional Memory},
  booktitle = {TRANSACT},
  year      = {2007},
  pdf       = {http://research.sun.com/projects/scalable/pubs/TRANSACT2007-NZTM.pdf}
}

%end new stuff here

@article{1165781,
 author = {Wu, Haisang and Ravindran, Binoy and Jensen, E. Douglas and Li, Peng},
 title = {Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems},
 journal = {ACM Trans. Embed. Comput. Syst.},
 volume = {5},
 number = {3},
 year = {2006},
 issn = {1539-9087},
 pages = {513--542},
 doi = {http://doi.acm.org/10.1145/1165780.1165781},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{HerlihyS07,
  author    = {Maurice Herlihy and Ye Sun},
  title     = {Distributed transactional memory for metric-space networks},
  journal   = {Distributed Computing},
  volume    = {20},
  number    = {3},
  year      = {2007},
  pages     = {195-208},
  ee        = {http://dx.doi.org/10.1007/s00446-007-0037-x},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{STM_RTSS,
author = {Jeremy Manson and Jason Baker and Antonio Cunei and Suresh Jagannathan and Marek Prochazka and Bin Xin and Jan Vitek},
title = {Preemptible Atomic Regions for Real-Time Java},
journal = {RTSS},
volume = {0},
year = {2005},
issn = {1052-8725},
pages = {62-71},
doi = {http://doi.ieeecomputersociety.org/10.1109/RTSS.2005.34},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@inproceedings{anderson96framework,
  author = {J. Anderson and S. Ramamurthy},
  title = {A framework for implementing objects and scheduling tasks in lock-free real-time systems},
  booktitle = {Proceedings of IEEE RTSS},
  pages = {92--105},
  publisher = {IEEE},
  month = {dec},
  year = {1996},
  url = "citeseer.ist.psu.edu/article/anderson96framework.html" }

  @inproceedings{anderson97lockfree,
  author = {J. Anderson and S. Ramamurthy and M. Moir and K. Jeffay},
  title = {Lock-free transactions for real-time systems},
  booktitle = {Real-Time Databases: Issues and Applications},
  publisher={Amsterdam: Kluwer Academic Publishers.},
  year = {1997},
  url = "citeseer.ist.psu.edu/article/anderson97lockfree.html" }

@inproceedings{anderson95realtime,
  author = {J. Anderson and S. Ramamurthy and K. Jeffay},
  title = {Real-Time Computing with Lock-Free Shared Objects},
  booktitle = {Proceedings of IEEE RTSS},
  publisher={IEEE Computer Society Press},
  month={December},
  pages={28-37},
  year = {1995},
  url = "citeseer.ist.psu.edu/anderson95realtime.html" }

@incollection{manassiev:cluster-tm:2006,
  author    = {Manassiev, Kaloian and Mihailescu, Madalin and Amza, Cristiana},
  title     = {Exploiting Distributed Version Concurrency in a Transactional Memory Cluster},
  booktitle = {PPoPP '06},
  publisher = {ACM Press},
  pages     = {198-208},
  year      = {2006},
  month     = {Mar},
  urlpage   = {http://doi.acm.org/10.1145/1122971.1123002}
}




@article{ chandra93unreliable,
 author = {Tushar Deepak Chandra and Sam Toueg},
 title = {Unreliable failure detectors for reliable distributed systems},
 journal = {J. ACM},
 volume = {43},
 number = {2},
 year = {1996},
 issn = {0004-5411},
 pages = {225--267},
 doi = {http://doi.acm.org/10.1145/226643.226647},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }



@BOOK{lynch96,
    AUTHOR = "N. Lynch",
    TITLE = "Distributed Algorithms",
    PUBLISHER = "Morgan Kaufmann",
    PAGES = {872},
    ISBN = {1-55860-348-4},
    YEAR = {1996}
    }

@INPROCEEDINGS{atl04,
  author = "T. Abdelzaher and others",
  title = "A feasible region for meeting aperiodic end-to-end deadlines in resource
    pipelines",
    BOOKTITLE = {ICDCS},
    pages = {436-445},
  year = "2004"}

@ARTICLE{as99,
    TITLE = {Combined task and message scheduling in distributed real-time systems},
    AUTHOR = {T. F. Abdelzaher and K. G. Shin},
    JOURNAL = {TPDS},
    MONTH = {November},
    YEAR = {1999},
    Volume = {10},
    Number = {11},
    PAGES = {1179-1191}
}

@MISC{terracotta,
    AUTHOR = {Terracotta Inc.},
    TITLE = "Terracotta",
    NOTE = {Available at \url{http://www.terracotta.org/}},
  }

@MISC{zwaenepoel-sac10-keynote,
    AUTHOR = "Zwaenepoel, Willy",
    TITLE = "{P2P, DSM, and Other Products of the Complexity Factory}",
    YEAR = {2010},
    MONTH = {March},
    NOTE = {Keynote Talk, 25th ACM Symposium On Applied Computing (SAC'10)},
  }



@article{Li:1989:MCS:75104.75105,
 author = {Li, Kai and Hudak, Paul},
 title = {Memory coherence in shared virtual memory systems},
 journal = {ACM Trans. Comput. Syst.},
 volume = {7},
 issue = {4},
 month = {November},
 year = {1989},
 issn = {0734-2071},
 pages = {321--359},
 numpages = {39},
 url = {http://doi.acm.org/10.1145/75104.75105},
 doi = {http://doi.acm.org/10.1145/75104.75105},
 acmid = {75105},
 publisher = {ACM},
 address = {New York, NY, USA},
}


@inproceedings{Keleher:1992:LRC:139669.139676,
 author = {Keleher, Pete and Cox, Alan L. and Zwaenepoel, Willy},
 title = {Lazy release consistency for software distributed shared memory},
 booktitle = {Proceedings of the 19th annual international symposium on Computer architecture},
 series = {ISCA '92},
 year = {1992},
 isbn = {0-89791-509-7},
 location = {Queensland, Australia},
 pages = {13--21},
 numpages = {9},
 url = {http://doi.acm.org/10.1145/139669.139676},
 doi = {http://doi.acm.org/10.1145/139669.139676},
 acmid = {139676},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{Cachopo:2006:CST:1145581.1145640,
 author = {Cachopo, Jo\~{a}o and Rito-Silva, Ant\'{o}nio},
 title = {Combining software transactional memory with a domain modeling language to simplify web application development},
 booktitle = {Proceedings of the 6th international conference on Web engineering},
 series = {ICWE '06},
 year = {2006},
 isbn = {1-59593-352-2},
 location = {Palo Alto, California, USA},
 pages = {297--304},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/1145581.1145640},
 doi = {http://doi.acm.org/10.1145/1145581.1145640},
 acmid = {1145640},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {code generation, domain modeling, enterprise applications, persistence, transactions, web application architecture},
}




@inproceedings{hlf95,
 author = {C-W. Hsueh and others},
 title = {Distributed pinwheel scheduling with end-to-end timing constraints},
 booktitle = {RTSS},
 year = {1995},
 pages = {172-181}
 }

 @MISC{fahmy-thesis08,
    AUTHOR = "S. Fahmy",
    TITLE = "Scalable Synchronization and Scheduling of Distributable Real-Time Threads",
    DEPARTMENT = {ECE},
    SCHOOL = "Virginia Tech",
    NOTE = {PhD Thesis Proposal, Virginia Tech, ECE Dept., Available \url{http://www.real-time.ece.vt.edu/fahmy-proposal.pdf}},
    YEAR = {2008}
}

@MISC{han-thesis07,
    AUTHOR = "K. Han",
    TITLE = "Scheduling Distributed Real-Time Tasks in Unreliable and Untrustworthy Systems",
    DEPARTMENT = {ECE},
    SCHOOL = "Virginia Tech",
    NOTE = {PhD Thesis Proposal, Virginia Tech, ECE Dept., Available \url{http://www.real-time.ece.vt.edu/proposal-han07.pdf}},
    YEAR = {2007}
}


@PHDTHESIS{bett94,
    AUTHOR = "R. Bettati",
    TITLE = "End-to-End Scheduling to Meet Deadlines in Distributed Systems",
    SCHOOL = "UIUC",
    YEAR = {1994}
}

@ARTICLE{rsz89,
AUTHOR = {K. Ramamritham and others},
TITLE = {Distributed scheduling of tasks with deadlines and resource requirements},
JOURNAL = {IEEE Trans. Comput.},
VOLUME = {38},
PAGES = {1110-1123},
MONTH = {Aug},
YEAR = {1989}
}

@INPROCEEDINGS{bs93,
  author = "A. Bestavros and D. Spartiotis",
  title = "Probabilistic job scheduling for distributed real-time applications",
  BOOKTITLE = "IEEE Works. on Real-Time Applications",
  MONTH = {May},
  year = "1993",
}

@PHDTHESIS{sun97,
  AUTHOR =       {J. Sun},
  TITLE =        {Fixed-Priority End-To-End Scheduling in Distributed Real-Time Systems},
  SCHOOL =       {UIUC},
  YEAR =         {1997}
}

@ARTICLE{tc94,
  AUTHOR =       {K. Tindell and J. Clark},
  TITLE =        {Holistic Schedulability Analysis for Distributed Hard Real-Time Systems},
  JOURNAL =      {Microprocessing \& Microprogramming},
  YEAR =         {1994},
  volume =       {50},
  number =       {2-3}
}

@inproceedings{fastfd,
 author = {Marcos Kawazoe Aguilera and G\'{e}rard Le Lann and Sam Toueg},
 title = {On the Impact of Fast Failure Detectors on Real-Time Fault-Tolerant Systems},
 booktitle = {DISC '02},
 year = {2002},
 isbn = {3-540-00073-9},
 pages = {354--370},
 publisher = {Springer-Verlag},
  }

@inproceedings{FiniteAveRes,
 author = {Christof Fetzer and Ulrich Schmid and Martin Susskraut},
 title = {On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times},
 booktitle = {ICDCS '05},
 year = {2005},
 isbn = {0-7695-2331-5},
 pages = {271--280},
 doi = {http://dx.doi.org/10.1109/ICDCS.2005.57},
 publisher = {IEEE Computer Society}, }


@BOOK{ncw-cares,
  AUTHOR =       {Jeffrey~R.~Cares},
  TITLE =        {Distributed Networked Operations: The Foundations of Network Centric Warfare},
  PUBLISHER =    {{iUniverse, Inc.}},
  YEAR =         {2006}
}

@article{QosFD,
author = {Wei Chen and Sam Toueg and Marcos Kawazoe Aguilera},
title = {On the Quality of Service of Failure Detectors},
journal = {IEEE Transactions on Computers},
volume = {51},
number = {1},
year = {2002},
issn = {0018-9340},
pages = {13-32},
doi = {http://doi.ieeecomputersociety.org/10.1109/12.980014},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA}
}

@techreport{kSetAgreement,
    author = "S. Chaudhuri",
    title = "{MORE} {CHOICES} {ALLOW} {MORE} {FAULTS}: {SET} {CONSENSUS} {PROBLEMS} {IN} {TOTALLY} {ASYNCHRONOUS} {SYSTEMS}",
    number = "MIT/LCS/TM-475",
    pages = "30",
    year = "1992",
    url = "citeseer.ist.psu.edu/chaudhuri92more.html" }

@inproceedings{thetamodel,
  author    = {Jean-Fran\c{c}ois Hermant and
               Josef Widder},
  title     = {Implementing Reliable Distributed Real-Time Systems with
               the {$\Theta$}-Model.},
  booktitle = {OPODIS},
  year      = {2005},
  pages     = {334-350},
  ee        = {http://dx.doi.org/10.1007/11795490_26},
  crossref  = {DBLP:conf/opodis/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Quorumbased,
 author = {Achour Most\'{e}faoui and Michel Raynal},
 title = {Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: A General Quorum-Based Approach},
 booktitle = {DISC '99},
 year = {1999},
 isbn = {3-540-66531-5},
 pages = {49--63},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@inproceedings{gue05,
 author = {Guerraoui, Rachid and Herlihy, Maurice and Pochon, Bastian},
 title = {Toward a theory of transactional contention managers},
 booktitle = {PODC '05: Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing},
 year = {2005},
 isbn = {1-59593-994-2},
 pages = {258--264},
 location = {Las Vegas, NV, USA},
 doi = {http://doi.acm.org/10.1145/1073814.1073863},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{thebig,
    author = "R. Guerraoui and A. Schiper",
    title = "Consensus: the Big Misunderstanding",
    booktitle = "{FTDCS}-)",
    publisher = "IEEE Computer Society Press",
    address = "Tunis, Tunisia",
    pages = "183--188",
    year = "1997",
    url = "citeseer.ist.psu.edu/guerraoui97consensus.html" }



@techreport{performance,
    author = "Nicole Sergent and Xavier {D\'efago} and {Andr\'e} Schiper",
    title = "Failure Detectors: implementation issues and impact on consensus performance",
    number = "SSC/1999/019",
    year = "1999",
    url = "citeseer.ist.psu.edu/sergent99failure.html" }

@inproceedings{quorumbasedME,
 author = {Wei Chen and Shiding Lin and Qiao Lian and Zheng Zhang},
 title = {Sigma: A Fault-Tolerant Mutual Exclusion Algorithm in Dynamic Distributed Systems Subject to Process Crashes and Memory Losses},
 booktitle = {PRDC '05},
 year = {2005},
 isbn = {0-7695-2492-3},
 pages = {7--14},
 doi = {http://dx.doi.org/10.1109/PRDC.2005.57},
 publisher = {IEEE Computer Society},
 }

@PHDTHESIS{DASA,
    AUTHOR = "R. K. Clark",
    TITLE = "Scheduling Dependent Real-Time Activities",
    SCHOOL = "CMU",
    Note = {CMU-CS-90-155},
    YEAR = {1990}
    }

@inproceedings{UAoverview,
 author = {Peng Li and Binoy Ravindran and E. Douglas Jensen},
 title = {Adaptive Time-Critical Resource Management Using Time/Utility Functions: Past, Present, and Future},
 booktitle = {COMPSAC '04},
 year = {2004},
 isbn = {0-7695-2209-2-2},
 pages = {12--13},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@misc{nodealive,
  author = "J. Goldberg and L. Gong and I. Greenberg and R. Clark and E. Jensen and
    K. Kim and D. Wells",
  title = "Adaptive Fault-Resistant Systems",
  text = "J. Goldberg, L. Gong, I. Greenberg, R. Clark, E. D. Jensen, K. Kim, and
    D. Wells, Adaptive Fault-Resistant Systems, Technical Report, SRI International,
    1994.",
  year = "1994",
}

@inproceedings{edpaper,
 author = {Binoy Ravindran and Edward Curley and Jonathan S. Anderson and E. Douglas Jensen},
 title = {On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time Systems},
 booktitle = {ISORC '07},
 year = {2007},
 isbn = {0-7695-2765-5},
 pages = {344--353},
 doi = {http://dx.doi.org/10.1109/ISORC.2007.45},
 publisher = {IEEE Computer Society},
  }

@inproceedings{jonpaper,
 author = {Binoy Ravindran and Jonathan S. Anderson and E. Douglas Jensen},
 title = {On Distributed Real-Time Scheduling in Networked Embedded Systems in the Presence of Crash Failures},
 booktitle = {IFIP SEUS Workshop},
 pages = {67--81},
 year = {2007},
 }

 @TECHREPORT{archons88,
  AUTHOR =       {D. P. Maynard and S. E. Shipman and others},
  title =        {An Example Real-Time Command, Control, and Battle Management Application for Alpha},
  year =         {1988},
INSTITUTION = "CMU CS Dept.",
  Number  =        {Archons Project 88121},
  MONTH = {December}
}





@article{FLP,
 author = {Michael J. Fischer and Nancy A. Lynch and Michael S. Paterson},
 title = {Impossibility of distributed consensus with one faulty process},
 journal = {J. ACM},
 volume = {32},
 number = {2},
 year = {1985},
 issn = {0004-5411},
 pages = {374--382},
 doi = {http://doi.acm.org/10.1145/3149.214121},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@techreport{ chandra93unreliable2,
    author = "Tushar Deepak Chandra",
    title = "Unreliable Failure Detectors for Asynchronous Distributed Systems",
    number = "TR93-1377",
    pages = "120",
    year = "1993",
    url = "citeseer.ist.psu.edu/article/chandra93unreliable.html" }

@misc{TUFjensen85time,
  author = "E. Jensen and C. Locke and H. Tokuda",
  title = "A time driven scheduling model for real-time operating systems",
  NOTE = "IEEE RTSS,
    pages 112--122, 1985.",
  year = "1985",
  url = "citeseer.ist.psu.edu/jensen85timedriven.html" }

@inproceedings{probWCET,
author = {Stefan M. Petters},
title = {How much Worst Case is Needed in WCET Estimation?},
booktitle = {2nd International Workshop on Worst Case Execution Time Analysis 2002},
month = {Jun 18},
year = {2002},
address = {Vienna, Austria}
}

@BOOK{nor87XX,
    AUTHOR = {J. D. Northcutt},
    TITLE = {Mechanisms for Reliable Distributed Real-Time Operating Systems --- The Alpha Kernel},
    PUBLISHER = {Academic Press},
    YEAR = {1987}
}

@inproceedings{nor87,
  author = "R. Clark and E. Jensen and F. Reynolds",
  title = "An architectural overview of the Alpha real-time distributed kernel",
  booktitle= {1993 Winter USENIX Conf.},
  pages = {127--146},
  year = "1993",
  url = "citeseer.ist.psu.edu/clark93architectural.html" }


@inproceedings{fl94,
    author = "B. Ford and J. Lepreau",
    title = "Evolving Mach 3.0 to a migrating thread model",
    booktitle = "USENIX Technical Conference",
    pages = "97--114",
    year = "1994"
    }

@BOOK{mk98,
    AUTHOR = "{The Open Group}",
    TITLE = "MK7.3a Release Notes",
    ADDRESS  =  "Cambridge, Massachusetts",
    PUBLISHER = "The Open Group Research Institute",
    MONTH = {October},
    YEAR = {1998}
    }


@TECHREPORT{omg0901-dynamic,
    AUTHOR = "OMG",
    TITLE = "{Real-time CORBA Specification, Chapter 3: Dynamic Scheduling}",
    INSTITUTION = "Object Management Group",
    MONTH = {November},
    Number = {Version 2.0, formal/03-11-01},
    YEAR = {2003},
    PAGES = {3-1 --- 3-39},
    HOWPUBLISHED = {Available \url{http://www.omg.org/technology/documents/formal/RT_dynamic.htm}}
}


@TECHREPORT{omg0901-static,
    AUTHOR = "OMG",
    TITLE = "{Real-time CORBA Specification, Chapter 1: Real-time CORBA Base Architecture}",
    INSTITUTION = "Object Management Group",
    MONTH = {November},
    Number = {Version 2.0, formal/03-11-01},
    PAGES = {1-1 -- 1-11},
    YEAR = {2003},
    HOWPUBLISHED = {Available \url{http://www.omg.org/technology/documents/formal/RT_dynamic.htm}}
}

@TECHREPORT{omg0901-static2,
    AUTHOR = "OMG",
    TITLE = "{Real-time CORBA Specification, Chapter 2: Real-time CORBA Extensions}",
    INSTITUTION = "Object Management Group",
    MONTH = {November},
    Number = {Version 2.0, formal/03-11-01},
    PAGES = {2-1 --- 2-38},
    YEAR = {2003},
    HOWPUBLISHED = {Available \url{http://www.omg.org/technology/documents/formal/RT_dynamic.htm}}
}



@INPROCEEDINGS{jw+02,
    AUTHOR = {E. D. Jensen and A. Wellings and R. Clark and D. Wells},
    TITLE = {The Distributed Real-Time Specification for Java: A Status Report},
    BOOKTITLE = {Proceedings of The Embedded Systems Conference},
    YEAR = {2002}
}

@INPROCEEDINGS{aj06,
  AUTHOR =       {J. Anderson and E. D. Jensen},
  TITLE =        {The Distributed Real-Time Specification for Java: Status Report},
  BOOKTITLE =    {JTRES},
  YEAR =         {2006}
}

@inproceedings{DBLP:conf/iceccs/HuangHRJ08,
  author    = {Fei Huang and
               Kai Han and
               Binoy Ravindran and
               E. Douglas Jensen},
  title     = {Integrated Real-Time Scheduling and Communication with Probabilistic
               Timing Assurances in Unreliable Distributed Systems},
  booktitle = {ICECCS},
  year      = {2008},
  pages     = {79-88},
  ee        = {http://dx.doi.org/10.1109/ICECCS.2008.15},
  crossref  = {DBLP:conf/iceccs/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/iceccs/2008,
  title     = {13th International Conference on Engineering of Complex
               Computer Systems (ICECCS 2008), March 31 2008 - April 3
               2008, Belfast, Northern Ireland},
  booktitle = {ICECCS},
  publisher = {IEEE Computer Society},
  year      = {2008},
  isbn      = {0-7695-3139-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/icpads/HanRJ07,
  author    = {Kai Han and
               Binoy Ravindran and
               E. Douglas Jensen},
  title     = {RTMG: Scheduling real-time distributable threads in large-scale,
               unreliable networks with low message overhead},
  booktitle = {ICPADS},
  year      = {2007},
  pages     = {1-8},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ICPADS.2007.4447763},
  crossref  = {DBLP:conf/icpads/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icpads/2007,
  title     = {13th International Conference on Parallel and Distributed
               Systems (ICPADS 2007), December 5-7, 2007, Hsinchu, Taiwan},
  booktitle = {ICPADS},
  publisher = {IEEE Computer Society},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{ca+06,
 author = {Curley, Edward and Anderson, Jonathan and Ravindran, Binoy and Jensen, E. D.},
 title = {Recovering from Distributable Thread Failures with Assured Timeliness in Real-Time Distributed Systems},
 booktitle = {SRDS '06: Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems},
 year = {2006},
 isbn = {0-7695-2677-2},
 pages = {267--276},
 doi = {http://dx.doi.org/10.1109/SRDS.2006.38},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }


@techreport{gg+95,
    AUTHOR = {J. Goldberg and I. Greenberg and others},
    TITLE = {Adaptive Fault-Resistant Systems (Chapter 5: Adpative Distributed Thread Integrity)},
    YEAR = {1995},
    INSTITUTION = {SRI International},
    NUMBER = {csl-95-02},
    MONTH = {January},
    }

@ARTICLE{hl02,
    AUTHOR = {J.-F. Hermant and G. Le Lann},
    TITLE = {Fast asynchronous uniform consensus in real-time distributed systems},
    JOURNAL = {IEEE Transactions on Computers},
    Volume = {51},
    Number = {8},
    MONTH = {August},
    Year = {2002},
    Pages = {931 - 944}
}

@PHDTHESIS{loc86,
    AUTHOR = "C. D. Locke",
    TITLE = "Best-Effort Decision Making for Real-Time Scheduling",
    SCHOOL = "CMU",
    Note = {CMU-CS-86-134},
    YEAR = {1986}
    }

@inproceedings{Chens,
 author = {Wei Chen and Shiding Lin and Qiao Lian and Zheng Zhang},
 title = {Sigma: A Fault-Tolerant Mutual Exclusion Algorithm in Dynamic Distributed Systems Subject to Process Crashes and Memory Losses},
 booktitle = {PRDC '05},
 year = {2005},
 isbn = {0-7695-2492-3},
 pages = {7--14},
 doi = {http://dx.doi.org/10.1109/PRDC.2005.57},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{ DHT,
    author = "P. Druschel and A. Rowstron",
    title = "{PAST}: {A} Large-Scale, Persistent Peer-to-Peer Storage Utility",
    booktitle = {HOTOS '01},
    pages = "75--80",
    year = "2001",
    url = "citeseer.ist.psu.edu/druschel01past.html" }

@article{GPS1,
 author = {Bernhard Sterzbach},
 title = "{GPS}-based Clock Synchronization in a Mobile, Distributed Real-Time System",
 journal = {Real-Time Syst.},
 volume = {12},
 number = {1},
 year = {1997},
 issn = {0922-6443},
 pages = {63--75},
 doi = {http://dx.doi.org/10.1023/A:1007910115824},
 publisher = {Kluwer Academic Publishers},
 address = {Norwell, MA, USA},
 }

 @article{GPS2,
 author = {Wolfgang A. Halang and Markus Wannemacher},
 title = {High Accuracy Concurrent Event Processing in Hard Real-Time Systems},
 journal = {Real-Time Syst.},
 volume = {12},
 number = {1},
 year = {1997},
 issn = {0922-6443},
 pages = {77--94},
 doi = {http://dx.doi.org/10.1023/A:1007962132663},
 publisher = {Kluwer Academic Publishers},
 address = {Norwell, MA, USA},
 }

@article{GPS3,
 author = {Peter H. Dana},
 title = {Global Positioning System (GPS) Time Dissemination for Real-Time Applications},
 journal = {Real-Time Syst.},
 volume = {12},
 number = {1},
 year = {1997},
 issn = {0922-6443},
 pages = {9--40},
 doi = {http://dx.doi.org/10.1023/A:1007906014916},
 publisher = {Kluwer Academic Publishers},
 address = {Norwell, MA, USA},
 }

@Misc{ns-2,
  key =          {Ns-2},
  author =   {Steven McCanne and Sally Floyd},
  title =    {ns-2: {N}etwork {S}imulator},
  note =     {http://www.isi.edu/nsnam/ns/},
}



        @inproceedings{she08,
 author = {Fahmy, Sherif F. and Ravindran, Binoy and Jensen, E. D.},
 title = {Scheduling distributable real-time threads in the presence of crash failures and message losses},
 booktitle = {SAC '08: Proceedings of the 2008 ACM symposium on Applied computing},
 year = {2008},
 isbn = {978-1-59593-753-7},
 pages = {294--301},
 location = {Fortaleza, Ceara, Brazil},
 doi = {http://doi.acm.org/10.1145/1363686.1363763},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@inproceedings{DIPES08,
  author    = {Sherif Fadel Fahmy and
               Binoy Ravindran and
               E. Douglas Jensen},
  title     = {Scheduling Dependent Distributable Real-Time Threads in
               Dynamic Networked Embedded Systems},
  booktitle = {DIPES},
  year      = {2008},
  pages     = {171-180},
  ee        = {http://dx.doi.org/10.1007/978-0-387-09661-2_17},
  crossref  = {DBLP:conf/ifip10-3/2008dipes},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ifip10-3/2008dipes,
  editor    = {Bernd Kleinjohann and
               Lisa Kleinjohann and
               Wayne Wolf},
  title     = {Distributed Embedded Systems: Design, Middleware and Resources,
               IFIP 20th World Computer Congress, TC10 Working Conference
               on Distributed and Parallel Embedded Systems (DIPES 2008),
               September 7-10, 2008, Milano, Italy},
  booktitle = {DIPES},
  publisher = {Springer},
  series    = {IFIP},
  volume    = {271},
  year      = {2008},
  isbn      = {978-0-387-09660-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{dudnik09,
author = {Polina Dudnik and Michael Swift},
title = {Condition Variables and Transactional Memory: Problem or Opportunity?},
booktitle = {TRANSACT '09: Proceedings of the 4th ACM SIGPLAN Workshop on Transactional Computing},
year = {2009},
publisher = {ACM},
 address = {New York, NY, USA},
 }


 @inproceedings{1299063,
 author = {Olszewski, Marek and Cutler, Jeremy and Steffan, J. Gregory},
 title = {JudoSTM: A Dynamic Binary-Rewriting Approach to Software Transactional Memory},
 booktitle = {PACT '07: Proceedings of the 16th International Conference on Parallel Architecture and Compilation Techniques},
 year = {2007},
 isbn = {0-7695-2944-5},
 pages = {365--375},
 doi = {http://dx.doi.org/10.1109/PACT.2007.42},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }


 @article{1250667,
 author = {Blundell, Colin and Devietti, Joe and Lewis, E. Christopher and Martin, Milo M. K.},
 title = {Making the fast case common and the uncommon case simple in unbounded transactional memory},
 journal = {SIGARCH Comput. Archit. News},
 volume = {35},
 number = {2},
 year = {2007},
 issn = {0163-5964},
 pages = {24--34},
 doi = {http://doi.acm.org/10.1145/1273440.1250667},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


 @inproceedings{1378584,
 author = {Welc, Adam and Saha, Bratin and Adl-Tabatabai, Ali-Reza},
 title = {Irrevocable transactions and their applications},
 booktitle = {SPAA '08: Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures},
 year = {2008},
 isbn = {978-1-59593-973-9},
 pages = {285--296},
 location = {Munich, Germany},
 doi = {http://doi.acm.org/10.1145/1378533.1378584},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @inproceedings{kei09,
 author = {Keidar, Idit and Perelman, Dmitri},
 title = {On avoiding spare aborts in transactional memory},
 booktitle = {SPAA '09: Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures},
 year = {2009},
 isbn = {978-1-60558-606-9},
 pages = {59--68},
 location = {Calgary, AB, Canada},
 doi = {http://doi.acm.org/10.1145/1583991.1584013},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @inproceedings{ram09,
 author = {Ramadan, Hany E. and Roy, Indrajit and Herlihy, Maurice and Witchel, Emmett},
 title = {Committing conflicting transactions in an {STM}},
 booktitle = {PPoPP '09: Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming},
 year = {2009},
 isbn = {978-1-60558-397-6},
 pages = {163--172},
 location = {Raleigh, NC, USA},
 doi = {http://doi.acm.org/10.1145/1504176.1504201},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @inproceedings{1442491,
 author = {Spear, Michael F. and Silverman, Michael and Dalessandro, Luke and Michael, Maged M. and Scott, Michael L.},
 title = {Implementing and Exploiting Inevitability in Software Transactional Memory},
 booktitle = {ICPP '08: Proceedings of the 2008 37th International Conference on Parallel Processing},
 year = {2008},
 isbn = {978-0-7695-3374-2},
 pages = {59--66},
 doi = {http://dx.doi.org/10.1109/ICPP.2008.55},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

 @inproceedings{1294271,
 author = {Rossbach, Christopher J. and Hofmann, Owen S. and Porter, Donald E. and Ramadan, Hany E. and Aditya, Bhandari and Witchel, Emmett},
 title = {TxLinux: using and managing hardware transactional memory in an operating system},
 booktitle = {SOSP '07: Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles},
 year = {2007},
 isbn = {978-1-59593-591-5},
 pages = {87--102},
 location = {Stevenson, Washington, USA},
 doi = {http://doi.acm.org/10.1145/1294261.1294271},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @article{1136491,
 author = {McDonald, Austen and Chung, JaeWoong and Carlstrom, Brian D. and Minh, Chi Cao and Chafi, Hassan and Kozyrakis, Christos and Olukotun, Kunle},
 title = {Architectural Semantics for Practical Transactional Memory},
 journal = {SIGARCH Comput. Archit. News},
 volume = {34},
 number = {2},
 year = {2006},
 issn = {0163-5964},
 pages = {53--65},
 doi = {http://doi.acm.org/10.1145/1150019.1136491},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @article{1168902,
 author = {Moravan, Michelle J. and Bobba, Jayaram and Moore, Kevin E. and Yen, Luke and Hill, Mark D. and Liblit, Ben and Swift, Michael M. and Wood, David A.},
 title = {Supporting nested transactional memory in {logTM}},
 journal = {SIGPLAN Not.},
 volume = {41},
 number = {11},
 year = {2006},
 issn = {0362-1340},
 pages = {359--370},
 doi = {http://doi.acm.org/10.1145/1168918.1168902},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{1548286,
 author = {Baugh, Lee and Zilles, Craig},
 title = {An Analysis of I/O And Syscalls In Critical Sections And Their Implications For Transactional Memory},
 booktitle = {ISPASS '08: Proceedings of the ISPASS 2008 - IEEE International Symposium on Performance Analysis of Systems and software},
 year = {2008},
 isbn = {978-1-4244-2232-6},
 pages = {54--62},
 doi = {http://dx.doi.org/10.1109/ISPASS.2008.4510738},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }


@inproceedings{1519093,
 author = {Volos, Haris and Tack, Andres Jaan and Goyal, Neelam and Swift, Michael M. and Welc, Adam},
 title = {xCalls: safe I/O in memory transactions},
 booktitle = {EuroSys '09: Proceedings of the 4th ACM European conference on Computer systems},
 year = {2009},
 isbn = {978-1-60558-482-9},
 pages = {247--260},
 location = {Nuremberg, Germany},
 doi = {http://doi.acm.org/10.1145/1519065.1519093},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@inproceedings{ISORC08,
  author    = {Sherif Fadel Fahmy and
               Binoy Ravindran and
               E. Douglas Jensen},
  title     = {On Collaborative Scheduling of Distributable Real-Time Threads
               in Dynamic, Networked Embedded Systems},
  booktitle = {ISORC},
  year      = {2008},
  pages     = {485-491},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.11},
  crossref  = {DBLP:conf/isorc/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/isorc/2008,
  title     = {11th IEEE International Symposium on Object-Oriented Real-Time
               Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando,
               Florida, USA},
  booktitle = {ISORC},
  publisher = {IEEE Computer Society},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{RST08,
  author    = {Sherif Fadel Fahmy and
               Binoy Ravindran and
               E. Douglas Jensen},
  title     = {Fast Scheduling of Distributable Real-Time Threads with
               Assured End-to-End Timeliness},
  booktitle = {Ada-Europe},
  year      = {2008},
  pages     = {211-225},
  ee        = {http://dx.doi.org/10.1007/978-3-540-68624-8_16},
  crossref  = {DBLP:conf/adaEurope/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/adaEurope/2008,
  editor    = {Fabrice Kordon and
               Tullio Vardanega},
  title     = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
               International Conference on Reliable Software Technologies,
               Venice, Italy, June 16-20, 2008. Proceedings},
  booktitle = {Ada-Europe},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5026},
  year      = {2008},
  isbn      = {978-3-540-68621-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{pubsub,
author = {Gerardo Pardo-Castellote},
title = {OMG Data-Distribution Service: Architectural Overview},
journal = {ICDCSW},
volume = {00},
year = {2003},
isbn = {0-7695-1921-0},
pages = {200},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICDCSW.2003.1203555},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@inproceedings{hoareCCR,
title={Towards a Theory of Parallel Programming},
author={C.A.R. Hoare},
year={1972},
pages={61--71},
booktitle={Operating System Techniques},
editor={C.A.R. Hoare and R.H. Perrott},
publisher={Academic Press}
}


@article{Lee:EECS-2006-1,
author = {Edward A. Lee},
title = {The Problem with Threads},
journal = {Computer},
volume = {39},
number = {5},
year = {2006},
issn = {0018-9162},
pages = {33-42},
doi = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.180},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@Misc{SOFTWARESTM1,
  author =   {},
  title =    {Gemstone: A Transactional Memory Object Server for Smalltalk},
  note =     {\url{http://www.gemstone.com/products/smalltalk/}},
}

@Misc{SOFTWARESTM2,
  author =   {},
  title =    {{TinySTM}: A Time-Based {STM}},
  note =     {\url{http://tinystm.org/tinystm}},
}

@Misc{SOFTWARESTM3,
  author =   {},
  title =    {{LibLTX}: Lightweight Transaction Library},
  note =     {\url{https://sourceforge.net/projects/libltx}},
}
@Misc{SOFTWARESTM4,
  author =   {},
  title =    {{NSTM}: {.NET} Software Transactional Memory Library},
  note =     {\url{http://weblogs.asp.net/ralfw/archive/tags/Software+Transactional+Memory/default.aspx}},
}
@Misc{SOFTWARESTM5,
  author =   {},
  title =    {{RSTM: The University of Rochester STM}},
  note =     {\url{http://www.cs.rochester.edu/research/synchronization/rstm/}},
}
@Misc{SOFTWARESTM6,
  author =   {},
  title =    {{DSTM2}: Sun Lab's Dynamic Software Transactional Memory Library},
  note =     {\url{http://www.sun.com/download/products.xml?id=453fb28e}},
}
@Misc{SOFTWARESTM7,
  author =   {},
  title =    {Several implementaions by {Tim Harris} and {Keir Fraser} of the {University of Cambridge}},
  note =     {\url{http://www.cl.cam.ac.uk/Research/SRG/netos/lock-free/}},
}
@Misc{SOFTWARESTM8,
  author =   {},
  title =    {Intel {STM} Compiler Prototype Edition},
  note =     {\url{http://whatif.intel.com/}},
}
@Misc{SOFTWARESTM9,
  author =   {},
  title =    {{JSTM}: Open source {Java} implementation},
  note =     {\url{http://jstm.sourceforge.net/}},
}

@Misc{realtimejava,
  author =   {Sun Microsystems},
  title =    {{"JSR 50"}: Distributed real-time specification},
  note =     {2000, Available, \url{http://jcp.org/en/jsr/detail?id=50}},
}

@techreport{DDeadlockRealtime,
 author = {Chia Shih and John A. Stankovic},
 title = {Survey of Deadlock Detection in Distributed Concurrent Programming Environments and Its Application to Real-Time Systems},
 year = {1990},
 source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Aumass_cs%3Ancstrl.umassa_cs%2F%2FUM-CS-1990-069},
 Institution = {University of Massachusetts},
 address = {Amherst, MA, USA},
 }

 @article{DDeadlockresolution,
 author = {M. Roesler and W. A. Burkhard},
 title = {Resolution of Deadlocks in Object-Oriented Distributed Systems},
 journal = {IEEE Trans. Comput.},
 volume = {38},
 number = {8},
 year = {1989},
 issn = {0018-9340},
 pages = {1212--1224},
 doi = {http://dx.doi.org/10.1109/12.30874},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

 @article{DDeadlockResANDModel,
 author = {Jos\'{e} Ram\'{o}n Gonz\'{a}lez de Mend\'{\i}vil and Federico Fari\,
{n}a and Jos\'{e} Ram\'{o} Garitagoitia and Carlos F. Alastruey and J. M. Bernabeu-Auban},
 title = {A Distributed Deadlock Resolution Algorithm for the AND Model},
 journal = {IEEE Trans. Parallel Distrib. Syst.},
 volume = {10},
 number = {5},
 year = {1999},
 issn = {1045-9219},
 pages = {433--447},
 doi = {http://dx.doi.org/10.1109/71.770131},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 }

@article{DDeadlockDBs,
 author = {Natalija Krivokapi\'{c} and Alfons Kemper and Ehud Gudes},
 title = {Deadlock detection in distributed database systems: a new algorithm and a comparative performance analysis},
 journal = {The VLDB Journal},
 volume = {8},
 number = {2},
 year = {1999},
 issn = {1066-8888},
 pages = {79--100},
 doi = {http://dx.doi.org/10.1007/s007780050075},
 publisher = {Springer-Verlag New York, Inc.},
 address = {Secaucus, NJ, USA},
 }

 @article{DDeadlockDBs2,
 author = {Ajay D. Kshemkalyani and Mukesh Singhal},
 title = {A One-Phase Algorithm to Detect Distributed Deadlocks in Replicated Databases},
 journal = {IEEE Trans. on Knowl. and Data Eng.},
 volume = {11},
 number = {6},
 year = {1999},
 issn = {1041-4347},
 pages = {880--895},
 doi = {http://dx.doi.org/10.1109/69.824601},
 publisher = {IEEE Educational Activities Department},
 address = {Piscataway, NJ, USA},
 }

 @inproceedings{DDeadlockGen,
 author = {Gabriel Bracha and Sam Toueg},
 title = {A distributed algorithm for generalized deadlock detection},
 booktitle = {PODC '84: Proceedings of the third annual ACM symposium on Principles of distributed computing},
 year = {1984},
 isbn = {0-89791-143-1},
 pages = {285--301},
 location = {Vancouver, British Columbia, Canada},
 doi = {http://doi.acm.org/10.1145/800222.806756},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @article{weihl89,
 author = {Weihl, W. E.},
 title = {Local atomicity properties: modular concurrency control for abstract data types},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {11},
 number = {2},
 year = {1989},
 issn = {0164-0925},
 pages = {249--282},
 doi = {http://doi.acm.org/10.1145/63264.63518},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{gue08,
 author = {Guerraoui, Rachid and Kapalka, Michal},
 title = {On the correctness of transactional memory},
 booktitle = {PPoPP '08: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming},
 year = {2008},
 isbn = {978-1-59593-795-7},
 pages = {175--184},
 location = {Salt Lake City, UT, USA},
 doi = {http://doi.acm.org/10.1145/1345206.1345233},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @inproceedings{DDeadlockCorrectness,
 author = {J. R. Gonzalez de Mendivil and A. Demaille and J. B. Auban and J. R. Garitagoitia},
 title = {Correctness of a distributed deadlock resolution algorithm for the single request model},
 booktitle = {PDP '95: Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing},
 year = {1995},
 isbn = {0-8186-7031-2},
 pages = {254},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

 @article{DDeadlockSurv,
 author = {Ahmed K. Elmagarmid},
 title = {A survey of distributed deadlock detection algorithms},
 journal = {SIGMOD Rec.},
 volume = {15},
 number = {3},
 year = {1986},
 issn = {0163-5808},
 pages = {37--45},
 doi = {http://doi.acm.org/10.1145/15833.15837},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{DDeadlockPP,
 author = {Alokdhar N. Choudhary and Walter H. Kohler and John A. Stankovic and Don Towsley},
 title = {A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution},
 journal = {IEEE Trans. Softw. Eng.},
 volume = {15},
 number = {1},
 year = {1989},
 issn = {0098-5589},
 pages = {10--17},
 doi = {http://dx.doi.org/10.1109/32.21721},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 }

@inproceedings{DDeadlockMitchell,
 author = {Don P. Mitchell and Michael J. Merritt},
 title = {A distributed algorithm for deadlock detection and resolution},
 booktitle = {PODC '84: Proceedings of the third annual ACM symposium on Principles of distributed computing},
 year = {1984},
 isbn = {0-89791-143-1},
 pages = {282--284},
 location = {Vancouver, British Columbia, Canada},
 doi = {http://doi.acm.org/10.1145/800222.806755},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@techreport{Zhao:EECS-2006-82,
    Author = {Zhao, Yang and Lee, Edward A. and Liu, Jie},
    Title = {Programming Temporally Integrated Distributed Embedded Systems},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2006},
    Month = {May},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-82.html},
    Number = {UCB/EECS-2006-82}
}

@inproceedings{EdLeePTIDES,
 author = {Yang Zhao and Jie Liu and Edward A. Lee},
 title = {A Programming Model for Time-Synchronized Distributed Real-Time Systems},
 booktitle = {RTAS '07: Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium},
 year = {2007},
 isbn = {0-7695-2800-7},
 pages = {259--268},
 doi = {http://dx.doi.org/10.1109/RTAS.2007.5},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

 @inproceedings{Herlihy_wait_free,
 author = {Maurice P. Herlihy},
 title = {Impossibility and universality results for wait-free synchronization},
 booktitle = {PODC '88: Proceedings of the seventh annual ACM Symposium on Principles of distributed computing},
 year = {1988},
 isbn = {0-89791-277-2},
 pages = {276--290},
 location = {Toronto, Ontario, Canada},
 doi = {http://doi.acm.org/10.1145/62546.62593},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{Herlihy_obstruction_free,
author = {Maurice Herlihy and Victor Luchangco and Mark Moir},
title = {Obstruction-Free Synchronization: Double-Ended Queues as an Example},
booktitle = {ICDCS},
year = {2003},
issn = {1063-6927},
pages = {522},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICDCS.2003.1203503},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@inproceedings{moi97,
 author = {Moir, Mark},
 title = {Practical implementations of non-blocking synchronization primitives},
 booktitle = {PODC '97: Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing},
 year = {1997},
 isbn = {0-89791-952-1},
 pages = {219--228},
 location = {Santa Barbara, California, United States},
 doi = {http://doi.acm.org/10.1145/259380.259442},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{Argus,
 author = {Barbara Liskov},
 title = {Distributed programming in Argus},
 journal = {Commun. ACM},
 volume = {31},
 number = {3},
 year = {1988},
 issn = {0001-0782},
 pages = {300--312},
 doi = {http://doi.acm.org/10.1145/42392.42399},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @book{Jini,
 author = {Jim Waldo},
  title = {The  Jini Specifications},
 year = {2000},
 isbn = {0201726173},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.},
 address = {Boston, MA, USA},
 }




@presentation{Zhao2007,
    author = {Yang Zhao},
    title = {PTIDES: Programming Temporally Integrated
              Distributed Embedded Systems},
    day = {13},
    month = {February},
    year = {2007},
    note = {For further information about PTIDES, see the ptides workgroup.},
    URL = {http://chess.eecs.berkeley.edu/pubs/172.html}
}


@ARTICLE{DCommit,
title={Commit processing in distributed real-time database systems},
author={Gupta, R. and Haritsa, J. and Ramamritham, K. and Seshadri, S.},
journal={Real-Time Systems Symposium, 1996., 17th IEEE},
year={4-6 Dec 1996},
volume={},
number={},
pages={220-229},
keywords={distributed databases, protocols, real-time systems, software performance evaluation, transaction processingcommit processing, commit protocols, data distribution, distributed real-time database systems, firm-deadline distributed real-time database, optimistic commit protocol, performance, simulation model, system configurations, transaction atomicity, uncommitted data, workloads},
doi={10.1109/REAL.1996.563719},
ISSN={1052-8725} }


@inproceedings{STMSemantics,
 author = {Mart\'{\i}n Abadi and Andrew Birrell and Tim Harris and Michael Isard},
 title = {Semantics of transactional memory and automatic mutual exclusion},
 booktitle = {POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {2008},
 isbn = {978-1-59593-689-9},
 pages = {63--74},
 location = {San Francisco, California, USA},
 doi = {http://doi.acm.org/10.1145/1328438.1328449},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


 @inproceedings{cho_wait_free,
 author = {Hyeonjoong Cho and Binoy Ravindran and E. Douglas Jensen},
 title = {A Space-Optimal Wait-Free Real-Time Synchronization Protocol},
 booktitle = {ECRTS '05: Proceedings of the 17th Euromicro Conference on Real-Time Systems},
 year = {2005},
 isbn = {0-7695-2400-1},
 pages = {79--88},
 doi = {http://dx.doi.org/10.1109/ECRTS.2005.5},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@article{cho_wait_free2,
author = {Hyeonjoong Cho and Binoy Ravindran and E. Douglas Jensen},
title = {Space-Optimal, Wait-Free Real-Time Synchronization},
journal = {IEEE Transactions on Computers},
volume = {56},
number = {3},
year = {2007},
issn = {0018-9340},
pages = {373-384},
doi = {http://doi.ieeecomputersociety.org/10.1109/TC.2007.51},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@inproceedings{gue082,
 author = {Guerraoui, Rachid and Henzinger, Thomas A. and Singh, Vasu},
 title = {Permissiveness in Transactional Memories},
 booktitle = {DISC '08: Proceedings of the 22nd international symposium on Distributed Computing},
 year = {2008},
 isbn = {978-3-540-87778-3},
 pages = {305--319},
 location = {Arcachon, France},
 doi = {http://dx.doi.org/10.1007/978-3-540-87779-0_21},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 }

@inproceedings{cho_lock_free,
 author = {Hyeonjoong Cho and Binoy Ravindran and E. Douglas Jensen},
 title = {Lock-free synchronization for dynamic embedded real-time systems},
 booktitle = {DATE '06: Proceedings of the conference on Design, automation and test in Europe},
 year = {2006},
 isbn = {3-9810801-0-6},
 pages = {438--443},
 location = {Munich, Germany},
 publisher = {European Design and Automation Association},
 address = {3001 Leuven, Belgium, Belgium},
 }

 @inproceedings{cho_wait_free3,
 author = {Hyeonjoong Cho and Binoy Ravindran and E. Douglas Jensen},
 title = {On utility accrual processor scheduling with wait-free synchronization for embedded real-time software},
 booktitle = {SAC '06: Proceedings of the 2006 ACM symposium on Applied computing},
 year = {2006},
 isbn = {1-59593-108-2},
 pages = {918--922},
 location = {Dijon, France},
 doi = {http://doi.acm.org/10.1145/1141277.1141490},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{DHT1,
 author = {Kirsten Hildrum and Robert Krauthgamer and John Kubiatowicz},
 title = {Object location in realistic networks},
 booktitle = {SPAA '04: Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures},
 year = {2004},
 isbn = {1-58113-840-7},
 pages = {25--35},
 location = {Barcelona, Spain},
 doi = {http://doi.acm.org/10.1145/1007912.1007918},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @inproceedings{DHT2,
 author = {C. Greg Plaxton and Rajmohan Rajaraman and Andr\'{e}a W. Richa},
 title = {Accessing nearby copies of replicated objects in a distributed environment},
 booktitle = {SPAA '97: Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures},
 year = {1997},
 isbn = {0-89791-890-8},
 pages = {311--320},
 location = {Newport, Rhode Island, United States},
 doi = {http://doi.acm.org/10.1145/258492.258523},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{DHT3,
 author = {Antony I. T. Rowstron and Peter Druschel},
 title = {Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems},
 booktitle = {Middleware '01: Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg},
 year = {2001},
 isbn = {3-540-42800-3},
 pages = {329--350},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@article{CCMultiproc,
 author = {Per Stenstr\"{o}m},
 title = {A Survey of Cache Coherence Schemes for Multiprocessors},
 journal = {Computer},
 volume = {23},
 number = {6},
 year = {1990},
 issn = {0018-9162},
 pages = {12--24},
 doi = {http://dx.doi.org/10.1109/2.55497},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }

@article{STMAtomicity,
 author = {Milo Martin and Colin Blundell and E. Lewis},
 title = {Subtleties of Transactional Memory Atomicity Semantics},
 journal = {IEEE Comput. Archit. Lett.},
 volume = {5},
 number = {2},
 year = {2006},
 issn = {1556-6056},
 pages = {17},
 doi = {http://dx.doi.org/10.1109/L-CA.2006.18},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }
@article{DistCC1,
author = {Yeimkuan Chang and Laxmi N. Bhuyan},
title = {An Efficient Tree Cache Coherence Protocol for Distributed Shared Memory Multiprocessors},
journal = {IEEE Transactions on Computers},
volume = {48},
number = {3},
year = {1999},
issn = {0018-9340},
pages = {352-360},
doi = {http://doi.ieeecomputersociety.org/10.1109/12.755001},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@inproceedings{boc08,
 author = {Bocchino, Robert L. and Adve, Vikram S. and Chamberlain, Bradford L.},
 title = {Software transactional memory for large scale clusters},
 booktitle = {PPoPP '08: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming},
 year = {2008},
 isbn = {978-1-59593-795-7},
 pages = {247--258},
 location = {Salt Lake City, UT, USA},
 doi = {http://doi.acm.org/10.1145/1345206.1345242},
 publisher = {ACM},
 address = {New York, NY, USA},
 }






@inproceedings{dem98,
 author = {Demmer, Michael J. and Herlihy, Maurice},
 title = {The {Arrow} Distributed Directory Protocol},
 booktitle = {DISC '98: Proceedings of the 12th International Symposium on Distributed Computing},
 year = {1998},
 isbn = {3-540-65066-0},
 pages = {119--133},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@article{att07,
 author = {Attiya, Hagit},
 title = {Concurrency and the Principle of Data Locality},
 journal = {IEEE Distributed Systems Online},
 volume = {8},
 number = {9},
 year = {2007},
 issn = {1541-4922},
 pages = {3},
 doi = {http://dx.doi.org/10.1109/MDSO.2007.53},
 publisher = {IEEE Educational Activities Department},
 address = {Piscataway, NJ, USA},
 }

@article{att94,
 author = {Attiya, Hagit and Welch, Jennifer L.},
 title = {Sequential consistency versus linearizability},
 journal = {ACM Trans. Comput. Syst.},
 volume = {12},
 number = {2},
 year = {1994},
 issn = {0734-2071},
 pages = {91--122},
 doi = {http://doi.acm.org/10.1145/176575.176576},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{att06,
 author = {Attiya, Hagit and Epstein, Leah and Shachnai, Hadas and Tamir, Tami},
 title = {Transactional contention management as a non-clairvoyant scheduling problem},
 booktitle = {PODC '06: Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing},
 year = {2006},
 isbn = {1-59593-384-0},
 pages = {308--315},
 location = {Denver, Colorado, USA},
 doi = {http://doi.acm.org/10.1145/1146381.1146428},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{DistCC2,
    author = "Yuval Tamir and G. Janakiraman",
    title = "Hierarchical Coherency Management for Shared Virtual Memory Multicomputers",
    journal = "Journal of Parallel and Distributed Computing",
    volume = "15",
    number = "4",
    pages = "408--419",
    year = "1992",
    url = "citeseer.ist.psu.edu/tamir92hierarchical.html" }

@inproceedings{DistCC3,
 author = {Jose Aguilar and Ernst L. Leiss},
 title = {A General Adaptive Cache Coherency-Replacement Scheme for Distributed Systems},
 booktitle = {IICS '01: Proceedings of the International Workshop on Innovative Internet Computing Systems},
 year = {2001},
 isbn = {3-540-42275-7},
 pages = {116--125},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@article{DistCC4,
    author = "C. A. Kent",
    title = "Cache Coherence in Distributed Systems",
    journal = "WRL Technical Report 87/4",
    publisher = "DEC Western Research Laboratory",
    address = "Palo Alto, CA",
    year = "1987",
    url = "citeseer.ist.psu.edu/kent87cache.html" }


@inproceedings{DRealTimeJava,
 author = {Doug Jensen and Doug Wells},
 title = {A Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation},
 booktitle = {ISORC '02: Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing},
 year = {2002},
 isbn = {0-7695-1558-4},
 pages = {13},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@MISC{jsr50,
    AUTHOR = {{Sun Microsystems Java Community Process}},
    TITLE = {{JSR 50}: Distributed Real-Time Specification},
    HOWPUBLISHED = {Available as \url{http://jcp.org/en/jsr/detail?id=50}},
    }

@PHDTHESIS{li-thesis04,
  AUTHOR =       {P. Li},
  TITLE =        {Utility Accrual Real-Time Scheduling: Models and Algorithms},
  SCHOOL =       {Virginia Tech},
  YEAR =         {2004},
  notes = {\url{http://scholar.lib.vt.edu/theses/available/etd-08092004-230138/}}
}

@PHDTHESIS{wu-thesis05,
  AUTHOR =       {H. Wu},
  TITLE =        {Energy-Efficient, Utility Accrual Real-Time Scheduling},
  SCHOOL =       {Virginia Tech},
  YEAR =         {2005},
  notes = {\url{http://scholar.lib.vt.edu/theses/available/etd-08242005-145355/}}
}

@PHDTHESIS{cho-thesis06,
  AUTHOR =       {H. Cho},
  TITLE =        {Utility Accrual Real-Time Scheduling and Synchronization on Single and Multiprocessors: Models, Algorithms, and Tradeoffs},
  SCHOOL =       {Virginia Tech},
  YEAR =         {2006},
  notes = {\url{http://scholar.lib.vt.edu/theses/available/etd-09022006-160653/}}
}

@MISC{Moir,
    AUTHOR = {{Sun Labs}},
    TITLE = {Scalable Synchronization Research Group},
    HOWPUBLISHED = {Available \url{http://research.sun.com/scalable/}},
    }

@MISC{vtmena,
    AUTHOR = {{Virginia Tech}},
    TITLE = {{Virginia-Tech Middle-East and North Africa Graduate Program (VT-MENA)}},
    HOWPUBLISHED = {Available \url{http://www.mena.eng.vt.edu/index.htm}},
    }

@article{MultiProcLockFree,
 author = {Philip Holman and James H. Anderson},
 title = {Supporting lock-free synchronization in Pfair-scheduled real-time systems},
 journal = {J. Parallel Distrib. Comput.},
 volume = {66},
 number = {1},
 year = {2006},
 issn = {0743-7315},
 pages = {47--67},
 doi = {http://dx.doi.org/10.1016/j.jpdc.2005.06.011},
 publisher = {Academic Press, Inc.},
 address = {Orlando, FL, USA},
 }

@article{sutterlunch,
    author = {Sutter, Herb  },
    citeulike-article-id = {970541},
    journal = {Dr. Dobb's Journal},
    keywords = {bibtex-import},
    number = {3},
    posted-at = {2006-12-01 16:12:35},
    priority = {0},
    title = {The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software},
    volume = {30},
    year = {2005}
}

@article{Palen1,
author = {J.C. Palencia and M. Gonzalez Harbour},
title = {Offset-Based Response Time Analysis of Distributed Systems Scheduled under EDF},
journal = {ECRTS},
volume = {00},
year = {2003},
isbn = {0-7695-1936-9},
pages = {3},
doi = {http://doi.ieeecomputersociety.org/10.1109/EMRTS.2003.1212721},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@inproceedings{Palen2,
 author = {M. Gonz\'{a}lez Harbour and J. C. Palencia},
 title = {Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities},
 booktitle = {IEEE RTSS},
 year = {2003},
 isbn = {0-7695-2044-8},
 pages = {200}
 }

@article{palenimprove,
author = {Rodolfo Pellizzoni and Giuseppe Lipari},
title = {Improved Schedulability Analysis of Real-Time Transactions with Earliest Deadline Scheduling},
journal = {RTAS},
year = {2005},
issn = {1080-1812},
pages = {66-75},
doi = {http://doi.ieeecomputersociety.org/10.1109/RTAS.2005.28},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@article{Tindell,
author={K. Tindell and J. Clark},
title={Holistic schedulability analysis for distributed hard real-time systems},
volume={50},
pages={117-134},
year={1994}
}

@INPROCEEDINGS{Palencia98schedulabilityanalysis,
    author = {J. C. Palencia and M. Gonz?lez Harbour},
    title = {Schedulability analysis for tasks with static and dynamic offsets},
    booktitle = {Proc. of the 19th IEEE RTSS},
    year = {1998},
    pages = {26--37}
}


@INPROCEEDINGS{SEUS09,
author = "Sherif. F. Fahmy and Binoy Ravindran and E. D. Jensen",
        title = "On Scalable Synchronization for Distributed Embedded Real-time Systems",
        BOOKTITLE = "SEUS",
        YEAR = "2008",
      NOTE = "\url{http://www.real-time.ece.vt.edu/seus08.pdf}"
        }

@article{SimRTNS,
author = {Paolo Pagano and Prashant Batra and Giuseppe Lipari},
title = {A Framework for Modeling Operating System Mechanisms in the Simulation of Network Protocols for Real-Time Distributed Systems},
journal = {IPDPS},
volume = {0},
year = {2007},
isbn = {1-4244-0909-8},
pages = {160},
doi = {http://doi.ieeecomputersociety.org/10.1109/IPDPS.2007.370350},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@ARTICLE{Baruah96proportionateprogress,
    author = {S. K. Baruah and N. K. Cohen and C. G. Plaxton and D. A. Varvel},
    title = {Proportionate progress: A notion of fairness in resource allocation},
    journal = {Algorithmica},
    year = {1996},
    volume = {15},
    pages = {600--625}
}
@INPROCEEDINGS{Baruah95fastscheduling,
    author = {Sanjoy K. Baruah and Johannes E. Gehrke and C. Greg Plaxton},
    title = {Fast scheduling of periodic tasks on multiple resources},
    booktitle = {IEEE IPPS},
    year = {1995},
    pages = {280--288}
}

@article{pfair_anderson,
 author = {James H. Anderson and Anand Srinivasan},
 title = {Mixed Pfair/ERfair scheduling of asynchronous periodic tasks},
 journal = {J. Comput. Syst. Sci.},
 volume = {68},
 number = {1},
 year = {2004},
 issn = {0022-0000},
 pages = {157--204},
 doi = {http://dx.doi.org/10.1016/j.jcss.2003.08.002},
 publisher = {Academic Press, Inc.},
 address = {Orlando, FL, USA},
 }

 @inproceedings{SMT_Response,
 author = {Marko Bertogna and Michele Cirinei},
 title = {Response-Time Analysis for Globally Scheduled Symmetric Multiprocessor Platforms},
 booktitle = {IEEE RTSS},
 year = {2007},
 isbn = {0-7695-3062-1},
 pages = {149--160}
 }

@TECHREPORT{Spuri96analysisof,
    author = {Marco Spuri},
    title = {Analysis of deadline scheduled real-time systems},
    institution = {In Rapport de Recherche RR-2772, INRIA},
    year = {1996}
}

@book{RTbook,
 author = {Mark H. Klein and Thomas Ralya and Bill Pollak and Ray Obenza and Michael Gonz\'{a}lez Harbour},
 title = {A practitioner's handbook for real-time analysis},
 year = {1993},
 isbn = {0-7923-9361-9},
 source = {Software Engineering Institute real-time handbook series},
 publisher = {Kluwer Academic Publishers},
 address = {Norwell, MA, USA},
 }
@article{liu73scheduling,
    author = "C. L. Liu and James W. Layland",
    title = "Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment",
    journal = "Journal of the ACM",
    volume = "20",
    number = "1",
    pages = "46--61",
    year = "1973"
    }
@inproceedings{advancedContention,
 author = {William N. Scherer, III and Michael L. Scott},
 title = {Advanced contention management for dynamic software transactional memory},
 booktitle = {PODC '05},
 year = {2005},
 isbn = {1-59593-994-2},
 pages = {240--248},
 location = {Las Vegas, NV, USA},
 doi = {http://doi.acm.org/10.1145/1073814.1073861},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{Contention,
  author    = {{{Scherer III}}, William N. and Scott, Michael L.},
  title     = {Contention Management in Dynamic Software Transactional Memory},
  booktitle = {ACM PODC Workshop on Concurrency and Synchronization in Java Programs},
  address   = {St. John's, NL, Canada},
  month     = {Jul},
  year      = {2004},
  pdf       = {http://www.cs.rochester.edu/u/scott/papers/2004_CSJP_contention_mgmt.pdf},
}

@techreport{ennals:stm-nonobstruction:tr:2006,
  author    = {Ennals, Robert},
  title     = {Software Transactional Memory Should Not Be Obstruction-Free},
  institution   = {Intel Research Cambridge Tech Report},
  number    = {IRC-TR-06-052},
  pdf       = {http://www.cs.wisc.edu/trans-memory/misc-papers/052_Rob_Ennals.pdf},
  year      = {2006},
  month     = {Jan}
}

@article{TUFdecomp,
 author = {Peng Li},
 note = {Student Member-Haisang Wu and Senior Member-Binoy Ravindran and Member-E. Douglas Jensen},
 title = {Time/Utility Function Decomposition Techniques for Utility Accrual Scheduling Algorithms in Real-Time Distributed Systems},
 journal = {IEEE Trans. Comput.},
 volume = {54},
 number = {9},
 year = {2005},
 issn = {0018-9340},
 pages = {1138--1153},
 doi = {http://dx.doi.org/10.1109/TC.2005.153},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@INPROCEEDINGS{Bettati92end-to-endscheduling,
    author = {R. Bettati and Jane W. -s. Liu},
    title = {End-to-end scheduling to meet deadlines in distributed systems},
    booktitle = {},
    year = {1992},
    pages = {452--459}
}

@INPROCEEDINGS{Kao95onbuilding,
    author = {Ben Kao and Hector Garcia-molina and Brad Adelberg},
    title = {On building distributed soft real-time systems},
    booktitle = {In The Third Workshop on Parallel and Distributed Real-Time Systems},
    year = {1995},
    pages = {13--19}
}

@article{Dassign,
author = {Ben Kao and Hector Garcia-Molina},
title = {Deadline Assignment in a Distributed Soft Real-Time System},
journal ={IEEE Transactions on Parallel and Distributed Systems},
volume = {8},
number = {12},
issn = {1045-9219},
year = {1997},
pages = {1268-1274},
doi = {http://doi.ieeecomputersociety.org/10.1109/71.640019},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@techreport{Dassign2,
 author = {Ben Kao and Hector Garcia-Molina},
 title = {Subtask Deadline Assignment for Complex Distributed Soft Real-Time Tasks},
 year = {1993},
 source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Astan%3ASTAN%2F%2FCS-TR-93-1491},
 publisher = {Stanford University},
 address = {Stanford, CA, USA},
 }



@article{DComp,
author = {M. Saksena and S. Hong},
title = {An Engineering Approach to Decomposing End-to-End Delays on a Distributed Real-Time System},
journal ={Parallel and Distributed Real-Time Systems, Workshop},
volume = {0},
year = {1996},
isbn = {},
pages = {244},
doi = {http://doi.ieeecomputersociety.org/10.1109/WPDRTS.1996.557688},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@inproceedings{SAC09,
 author = {Fahmy, Sherif F. and Ravindran, Binoy and Jensen, E. D.},
 title = {Response time analysis of software transactional memory-based distributed real-time systems},
 booktitle = {SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing},
 year = {2009},
 isbn = {978-1-60558-166-8},
 pages = {334--338},
 location = {Honolulu, Hawaii},
 doi = {http://doi.acm.org/10.1145/1529282.1529353},
 publisher = {ACM},
 address = {New York, NY, USA},
 }



      @inproceedings{DATE09,
  author    = {Sherif Fadel Fahmy and
               Binoy Ravindran and
               E. Douglas Jensen},
  title     = {On bounding response times under software transactional
               memory in distributed multiprocessor real-time systems},
  booktitle = {DATE},
  year      = {2009},
  pages     = {688-693},
  ee        = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=5090609{\&}arnumber=5090753{\&}count=326{\&}index=139},
  crossref  = {DBLP:conf/date/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/date/2009,
  title     = {Design, Automation and Test in Europe, DATE 2009, Nice,
               France, April 20-24, 2009},
  booktitle = {DATE},
  publisher = {IEEE},
  year      = {2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{Composable,
 author = {Tim Harris and Simon Marlow and Simon Peyton-Jones and Maurice Herlihy},
 title = {Composable memory transactions},
 booktitle = {PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming},
 year = {2005},
 isbn = {1-59593-080-9},
 pages = {48--60},
 location = {Chicago, IL, USA},
 doi = {http://doi.acm.org/10.1145/1065944.1065952},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @inproceedings{mal10,
 author = {Maldonado, Walther and Marlier, Patrick and Felber, Pascal and Suissa, Adi and Hendler, Danny and Fedorova, Alexandra and Lawall, Julia L. and Muller, Gilles},
 title = {Scheduling support for transactional memory contention management},
 booktitle = {PPoPP '10: Proceedings of the 15th ACM SIGPLAN symposium on Principles and practice of parallel programming},
 year = {2010},
 isbn = {978-1-60558-877-3},
 pages = {79--90},
 location = {Bangalore, India},
 doi = {http://doi.acm.org/10.1145/1693453.1693465},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @inproceedings{kot08,
 author = {Kotselidis, Christos and Ansari, Mohammad and Jarvis, Kim and Luj\'{a}n, Mikel and Kirkham, Chris and Watson, Ian},
 title = {{DiSTM}: A Software Transactional Memory Framework for Clusters},
 booktitle = {ICPP '08: Proceedings of the 2008 37th International Conference on Parallel Processing},
 year = {2008},
 isbn = {978-0-7695-3374-2},
 pages = {51--58},
 doi = {http://dx.doi.org/10.1109/ICPP.2008.59},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@MISC{hyflow,
author = {Virginia Tech},
TITLE = {{HyFlow} Distributed Software Transactional Memory},
NOTE = "\url{http://hyflow.org}",
YEAR = {2010},
}

 @InProceedings{sch09,
	 author =	{Johannes Schneider and  Roger Wattenhofer},
	 title =	{{Bounds On Contention Management Algorithms}},
	 booktitle =	{{20th International Symposium on Algorithms and Computation (ISAAC), Honolulu, USA}},
	 month =	{December},
	 year =		{2009}
}

@book{lar06,
  author	= {Larus, James R. and Rajwar, Ravi},
  title		= {Transactional Memory},
  year		= {2006},
  publisher	= {Morgan \& Claypool},
  urlpage	= {http://www.morganclaypool.com/doi/abs/10.2200/S00070ED1V01Y200611CAC002},
}

@inproceedings{moss_opennested,
    author = {J. E. B. Moss},
    title = {Open Nested Transactions: Semantics and Support},
    booktitle = {In Workshop on Memory Performance Issues,},
    year = {2005},
    url = "citeseer.ist.psu.edu/herlihy93transactional.html"
}


@article{Moss:2006:NTM:1228561.1228567,
 author = {Moss, J. Eliot B. and Hosking, Antony L.},
 title = {Nested transactional memory: model and architecture sketches},
 journal = {Sci. Comput. Program.},
 volume = {63},
 issue = {2},
 month = {December},
 year = {2006},
 issn = {0167-6423},
 pages = {186--201},
 numpages = {16},
 url = {http://portal.acm.org/citation.cfm?id=1228561.1228567},
 doi = {10.1016/j.scico.2006.05.010},
 acmid = {1228567},
 publisher = {Elsevier North-Holland, Inc.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 keywords = {closed nesting, nested transactions, open nesting, transactional memory},
}


@inproceedings{Carlstrom_atomos,
 author = {Carlstrom, Brian D. and McDonald, Austen and Chafi, Hassan and Chung, JaeWoong and Minh, Chi Cao and Kozyrakis, Christos and Olukotun, Kunle},
 title = {The {Atomos} transactional programming language},
 booktitle = {Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation},
 series = {PLDI '06},
 year = {2006},
 isbn = {1-59593-320-4},
 location = {Ottawa, Ontario, Canada},
 pages = {1--13},
 numpages = {13},
 url = {http://doi.acm.org/10.1145/1133981.1133983},
 doi = {http://doi.acm.org/10.1145/1133981.1133983},
 acmid = {1133983},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {conditional synchronization, java, multiprocessor architecture, transactional memory},
}

@inproceedings{Agrawal_SafeOpen,
 author = {Agrawal, Kunal and Lee, I-Ting Angelina and Sukha, Jim},
 title = {Safe open-nested transactions through ownership},
 booktitle = {Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures},
 series = {SPAA '08},
 year = {2008},
 isbn = {978-1-59593-973-9},
 location = {Munich, Germany},
 pages = {110--112},
 numpages = {3},
 url = {http://doi.acm.org/10.1145/1378533.1378553},
 doi = {http://doi.acm.org/10.1145/1378533.1378553},
 acmid = {1378553},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {abstract serializability, open-nested transactions, ownership types, ownership-aware transactions, serializability by levels, serializability by modules, transactional memory, xmodules},
}

 @inproceedings{att09,
 author = {Attiya, Hagit and Milani, Alessia},
 title = {Transactional Scheduling for Read-Dominated Workloads},
 booktitle = {OPODIS '09: Proceedings of the 13th International Conference on Principles of Distributed Systems},
 year = {2009},
 isbn = {978-3-642-10876-1},
 pages = {3--17},
 location = {N\^{\i}mes, France},
 doi = {http://dx.doi.org/10.1007/978-3-642-10877-8_3},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 }

 @inproceedings{per10,
 author = {Perelman, Dmitri and Fan, Rui and Keidar, Idit},
 title = {On maintaining multiple versions in {STM}},
 booktitle = {Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing},
 series = {PODC '10},
 year = {2010},
 isbn = {978-1-60558-888-9},
 location = {Zurich, Switzerland},
 pages = {16--25},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1835698.1835704},
 doi = {http://doi.acm.org/10.1145/1835698.1835704},
 acmid = {1835704},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {transactional memory},
}

@inproceedings{Addistant,
 author = {Tatsubori, Michiaki and Sasaki, Toshiyuki and Chiba, Shigeru and Itano, Kozo},
 title = {A Bytecode Translator for Distributed Execution of ``Legacy'' Java Software},
 booktitle = {Proceedings of the 15th European Conference on Object-Oriented Programming},
 series = {ECOOP '01},
 year = {2001},
 isbn = {3-540-42206-4},
 pages = {236--255},
 numpages = {20},
 url = {http://dl.acm.org/citation.cfm?id=646158.680014},
 acmid = {680014},
 publisher = {Springer-Verlag},
 address = {London, UK, UK},
}

@inproceedings{att10,
 author = {Attiya, Hagit and Gramoli, Vincent and Milani, Alessia},
 title = {A provably starvation-free distributed directory protocol},
 booktitle = {Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems},
 series = {SSS'10},
 year = {2010},
 isbn = {3-642-16022-0, 978-3-642-16022-6},
 location = {NewYork, NY, USA},
 pages = {405--419},
 numpages = {15},
 url = {http://portal.acm.org/citation.cfm?id=1926829.1926864},
 acmid = {1926864},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}

@inproceedings{gra89,
 author = {Gray, C. and Cheriton, D.},
 title = {Leases: an efficient fault-tolerant mechanism for distributed file cache consistency},
 booktitle = {Proceedings of the twelfth ACM symposium on Operating systems principles},
 series = {SOSP '89},
 year = {1989},
 isbn = {0-89791-338-8},
 pages = {202--210},
 numpages = {9},
 url = {http://doi.acm.org/10.1145/74850.74870},
 doi = {http://doi.acm.org/10.1145/74850.74870},
 acmid = {74870},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{MetaTM/TxLinux,
 author = {Ramadan, Hany E. and Rossbach, Christopher J. and Porter, Donald E. and Hofmann, Owen S. and Bhandari, Aditya and Witchel, Emmett},
 title = {MetaTM/TxLinux: transactional memory for an operating system},
 booktitle = {Proceedings of the 34th annual international symposium on Computer architecture},
 series = {ISCA '07},
 year = {2007},
 isbn = {978-1-59593-706-3},
 location = {San Diego, California, USA},
 pages = {92--103},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1250662.1250675},
 doi = {http://doi.acm.org/10.1145/1250662.1250675},
 acmid = {1250675},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {MetaTM, OS support, TxLinux, transactional memory},
}

@inproceedings{sha10,
 author = {Sharma, Gokarna and Estrade, Brett and Busch, Costas},
 title = {Window-based greedy contention management for transactional memory},
 booktitle = {Proceedings of the 24th international conference on Distributed computing},
 series = {DISC'10},
 year = {2010},
 isbn = {3-642-15762-9, 978-3-642-15762-2},
 location = {Cambridge, MA},
 pages = {64--78},
 numpages = {15},
 url = {http://portal.acm.org/citation.cfm?id=1888781.1888791},
 acmid = {1888791},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}

@book{Guerraoui:2006:Intro,
 author = {Guerraoui, Rachid and Rodrigues, Lu\'{\i}s},
 title = {Introduction to Reliable Distributed Programming},
 year = {2006},
 isbn = {3540288457},
 publisher = {Springer-Verlag New York, Inc.},
 address = {Secaucus, NJ, USA},
}

@inproceedings{Carvalho:2010:ALR,
 author = {Carvalho, Nuno and Romano, Paolo and Rodrigues, Lu\'{\i}s},
 title = {Asynchronous lease-based replication of software transactional memory},
 booktitle = {Proceedings of the ACM/IFIP/USENIX 11th International Conference on Middleware},
 series = {Middleware '10},
 year = {2010},
 isbn = {978-3-642-16954-0},
 location = {Bangalore, India},
 pages = {376--396},
 numpages = {21},
 url = {http://dl.acm.org/citation.cfm?id=2023718.2023744},
 acmid = {2023744},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 keywords = {dependability, leases, replication, software transactional memory},
}

@article{ros77,
  author    = {Daniel J. Rosenkrantz and
               Richard Edwin Stearns and
               Philip M. Lewis II},
  title     = {An Analysis of Several Heuristics for the Traveling Salesman
               Problem},
  journal   = {SIAM J. Comput.},
  volume    = {6},
  number    = {3},
  year      = {1977},
  pages     = {563-581},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{kuh04,
 author = {Kuhn, Fabian and Wattenhofer, Roger},
 title = {Dynamic analysis of the {Arrow} distributed protocol},
 booktitle = {SPAA},
 year = {2004},
 isbn = {1-58113-840-7},
 pages = {294--301},
  }

 @INPROCEEDINGS{kho01,
    author = {Subhash Khot},
    title = {Improved inapproximability results for maxclique, chromatic number and approximate graph coloring},
    booktitle = {Proc. 42nd IEEE Symp. on Foundations of Computer Science},
    year = {2001},
    pages = {600--609}
}


@INPROCEEDINGS{kar72,
    author = {R. M. Karp},
    title = {Reducibility Among Combinatorial Problems},
    booktitle = {R. E. Miller and J. W. Thatcher (editors). Complexity of Computer Computations},
    year = {1972},
    publisher = {Plenum Press, New York},
    pages = {85--103}
}

@techreport{chr76,
 author = {N. Christofides},
 title = {Worst	case analysis of a new heuristic for the traveling salesman problem},
 number = {CS-93-13},
 year = {1976},
 INSTITUTION = {G.S.I.A., Carnegie Mellon University},
 address = {Pittsburgh, USA},
 }

@article{kap05,
 author = {Kaplan, Haim and Lewenstein, Moshe and Shafrir, Nira and Sviridenko, Maxim},
 title = {Approximation algorithms for asymmetric TSP by decomposing directed regular multigraphs},
 journal = {J. ACM},
 volume = {52},
 issue = {4},
 month = {July},
 year = {2005},
 issn = {0004-5411},
 pages = {602--626},
 numpages = {25},
 url = {http://doi.acm.org/10.1145/1082036.1082041},
 doi = {http://doi.acm.org/10.1145/1082036.1082041},
 acmid = {1082041},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Approximation algorithms},
}

@inproceedings{car00,
 author = {Carr, Robert D. and Vempala, Santosh},
 title = {Towards a 4/3 approximation for the asymmetric traveling salesman problem},
 booktitle = {Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms},
 series = {SODA '00},
 year = {2000},
 isbn = {0-89871-453-2},
 location = {San Francisco, California, United States},
 pages = {116--125},
 numpages = {10},
 url = {http://portal.acm.org/citation.cfm?id=338219.338242},
 acmid = {338242},
 publisher = {Society for Industrial and Applied Mathematics},
 address = {Philadelphia, PA, USA},
}

@article{sch83,
 author = {Schlichting, Richard D. and Schneider, Fred B.},
 title = {Fail-stop processors: an approach to designing fault-tolerant computing systems},
 journal = {ACM Trans. Comput. Syst.},
 volume = {1},
 issue = {3},
 month = {August},
 year = {1983},
 issn = {0734-2071},
 pages = {222--238},
 numpages = {17},
 url = {http://doi.acm.org/10.1145/357369.357371},
 doi = {http://doi.acm.org/10.1145/357369.357371},
 acmid = {357371},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {fail-stop},
}

@inproceedings{agr90,
 author = {Agrawal, D. and El Abbadi, A.},
 title = {The tree quorum protocol: an efficient approach for managing replicated data},
 booktitle = {Proceedings of the sixteenth international conference on Very large databases},
 year = {1990},
 isbn = {0-55860-149-X},
 location = {Brisbane, Australia},
 pages = {243--254},
 numpages = {12},
 url = {http://portal.acm.org/citation.cfm?id=94362.94419},
 acmid = {94419},
 publisher = {Morgan Kaufmann Publishers Inc.},
 address = {San Francisco, CA, USA},
}

@article{ber83,
 author = {Bernstein, Philip A. and Goodman, Nathan},
 title = {Multiversion concurrency control - theory and algorithms},
 journal = {ACM Trans. Database Syst.},
 volume = {8},
 issue = {4},
 month = {December},
 year = {1983},
 issn = {0362-5915},
 pages = {465--483},
 numpages = {19},
 url = {http://doi.acm.org/10.1145/319996.319998},
 doi = {http://doi.acm.org/10.1145/319996.319998},
 acmid = {319998},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {transaction processing},
}

 @inproceedings{zha11,
 author = {Zhang, Bo and Ravindran, Binoy},
 title = {A Quorum-Based Replication Framework for Distributed Software Transactional Memory},
 booktitle = {OPODIS '11: Proceedings of the 15th International Conference on Principles of Distributed Systems},
 year = {2011},
 month = {December},
 location = {Toulouse, France},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 Note = {Available \url{http://www.real-time.ece.vt.edu/opodis11-replication-stm.pdf}}
 }

  @book{her08,
 author = {Herlihy, Maurice and Shavit, Nir},
 title = {The Art of Multiprocessor Programming},
 year = {2008},
 isbn = {0123705916, 9780123705914},
 publisher = {Morgan Kaufmann Publishers Inc.},
 address = {San Francisco, CA, USA},
 }

 @INPROCEEDINGS{Veldema99distributedshared,
    author = {R. Veldema and R.A.F. Bhoedjang and H.E. Bal},
    title = {Distributed Shared Memory Management for Java},
    booktitle = {In Proc. sixth annual conference of the Advanced School for Computing and Imaging (ASCI 2000},
    year = {1999},
    pages = {256--264}
}

@INPROCEEDINGS{Moore06logtm:log-based,
    author = {Kevin E. Moore and Jayaram Bobba and Michelle J. Moravan and Mark D. Hill and David A. Wood},
    title = {Logtm: Log-based transactional memory},
    booktitle = {in HPCA},
    year = {2006},
    pages = {254--265}
}

@article{Mankin:2009:STM:1543136.1542465,
 author = {Mankin, Jennifer and Kaeli, David and Ardini, John},
 title = {Software transactional memory for multicore embedded systems},
 journal = {SIGPLAN Not.},
 volume = {44},
 issue = {7},
 month = {June},
 year = {2009},
 issn = {0362-1340},
 pages = {90--98},
 numpages = {9},
 url = {http://doi.acm.org/10.1145/1543136.1542465},
 doi = {http://doi.acm.org/10.1145/1543136.1542465},
 acmid = {1542465},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {embedded systems, locking, multicore, software transactional memory (stm), synchronization, transactions},
}
@book{MESI,
 author = {Intel Corporation},
 title = {Pentium Processor User's Manual},
 year = {1993},
 isbn = {1555121934},
 publisher = {Intel Books},
}
@inproceedings{hyflow-transact11,
 author = {Saad, Mohamed and Ravindran, Binoy},
 title = {Supporting {STM} in Distributed Systems: Mechanisms and a {Java} Framework},
 booktitle = {Proceedings of the 6th ACM SIGPLAN Workshop on Transactional Computing}, 
  Month = {June},
  year = {2011}
  }


@inproceedings{Saad:2011:HHP:1996130.1996167,
 author = {Saad, Mohamed M. and Ravindran, Binoy},
 title = {{HyFlow}: a high performance distributed software transactional memory framework},
 booktitle = {Proceedings of the 20th international symposium on High performance distributed computing},
 series = {HPDC '11},
 year = {2011},
 isbn = {978-1-4503-0552-5},
 location = {San Jose, California, USA},
 pages = {265--266},
 numpages = {2},
 url = {http://doi.acm.org/10.1145/1996130.1996167},
 doi = {http://doi.acm.org/10.1145/1996130.1996167},
 acmid = {1996167},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {control flow, dataflow, distributed systems, hybrid flow, java, software transactional memory},
} 


@inproceedings{snake,
 author = {Saad, Mohamed and Ravindran, Binoy},
 title = {Snake: control flow distributed software transactional memory},
 booktitle = {Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems},
 series = {SSS'11},
 year = {2011},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}

@inproceedings{d2pc,
 author = {Raz, Yoav},
 title = {The Dynamic Two Phase Commitment (D2PC) Protocol},
 booktitle = {Proceedings of the 5th International Conference on Database Theory},
 series = {ICDT '95},
 year = {1995},
 isbn = {3-540-58907-4},
 pages = {162--176},
 numpages = {15},
 url = {http://dl.acm.org/citation.cfm?id=645501.655928},
 acmid = {655928},
 publisher = {Springer-Verlag},
 address = {London, UK},
}

@article{Naor:1998:LCA:279082.279096,
 author = {Naor, Moni and Wool, Avishai},
 title = {The Load, Capacity, and Availability of Quorum Systems},
 journal = {SIAM J. Comput.},
 volume = {27},
 issue = {2},
 month = {April},
 year = {1998},
 issn = {0097-5397},
 pages = {423--447},
 numpages = {25},
 url = {http://dl.acm.org/citation.cfm?id=279082.279096},
 doi = {10.1137/S0097539795281232},
 acmid = {279096},
 publisher = {Society for Industrial and Applied Mathematics},
 address = {Philadelphia, PA, USA},
 keywords = {distributed computing, fault tolerance, linear programming, load, percolation theory, quorum systems},
}

@inproceedings{cao08,
    title     = {{STAMP}: Stanford Transactional Applications for Multi-Processing},
    author    = {Cao Minh, Chi and Chung, JaeWoong and Kozyrakis, Christos and Olukotun, Kunle},
    booktitle = {IISWC '08: Proceedings of The IEEE International Symposium on Workload Characterization},
    year      = {2008},
    month     = {September}
}

@ARTICLE{Garey75boundsfor,
    author = {M. R. Garey and R. L. Grahams},
    title = {Bounds for multiprocessor scheduling with resource constraints},
    journal = {SIAM Journal on Computing},
    year = {1975},
    volume = {4},
    pages = {187--200}
}

@inproceedings{rie07,
 author = {Riegel, Torval and Fetzer, Christof and Sturzrehm, Heiko and Felber, Pascal},
 title = {From causal to z-linearizable transactional memory},
 booktitle = {PODC '07: Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing},
 year = {2007},
 isbn = {978-1-59593-616-5},
 pages = {340--341},
 location = {Portland, Oregon, USA},
 doi = {http://doi.acm.org/10.1145/1281100.1281162},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @inproceedings{kor10,
author = {G. Korland and N. Shavit and P. Felber},
title = {Noninvasive concurrency with Java STM},
year = {2010},
booktitle = {Third Workshop on Programmability Issues for Multi-Core Computers (MULTIPROG)},
 }

 @article{Saito:2005:OR:1057977.1057980,
 author = {Saito, Yasushi and Shapiro, Marc},
 title = {Optimistic replication},
 journal = {ACM Comput. Surv.},
 volume = {37},
 issue = {1},
 month = {March},
 year = {2005},
 issn = {0360-0300},
 pages = {42--81},
 numpages = {40},
 url = {http://doi.acm.org/10.1145/1057977.1057980},
 doi = {http://doi.acm.org/10.1145/1057977.1057980},
 acmid = {1057980},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Replication, disconnected operation, distributed systems, large scale systems, optimistic techniques},
}

@article{Vogels:2008:EC:1466443.1466448,
 author = {Vogels, Werner},
 title = {Eventually Consistent},
 journal = {Queue},
 issue_date = {October 2008},
 volume = {6},
 issue = {6},
 month = {October},
 year = {2008},
 issn = {1542-7730},
 pages = {14--19},
 numpages = {6},
 url = {http://doi.acm.org/10.1145/1466443.1466448},
 doi = {http://doi.acm.org/10.1145/1466443.1466448},
 acmid = {1466448},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{Shapiro:2011:CRD:2050613.2050642,
 author = {Shapiro, Marc and Pregui\c{c}a, Nuno and Baquero, Carlos and Zawirski, Marek},
 title = {Conflict-free replicated data types},
 booktitle = {Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems},
 series = {SSS'11},
 year = {2011},
 isbn = {978-3-642-24549-7},
 location = {Grenoble, France},
 pages = {386--400},
 numpages = {15},
 url = {http://dl.acm.org/citation.cfm?id=2050613.2050642},
 acmid = {2050642},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 keywords = {eventual consistency, large-scale distributed systems, replicated shared objects},
}
@article{Kish2002144,
title = "End of Moore's law: thermal (noise) death of integration in micro and nano electronics",
journal = "Physics Letters A",
volume = "305",
number = "3–4",
pages = "144 - 149",
year = "2002",
note = "",
issn = "0375-9601",
doi = "10.1016/S0375-9601(02)01365-8",
url = "http://www.sciencedirect.com/science/article/pii/S0375960102013658",
author = "Laszlo B Kish"
}
@article{Thompson200620,
title = "Moore's law: the future of Si microelectronics",
journal = "Materials Today",
volume = "9",
number = "6",
pages = "20 - 25",
year = "2006",
note = "",
issn = "1369-7021",
doi = "10.1016/S1369-7021(06)71539-5",
url = "http://www.sciencedirect.com/science/article/pii/S1369702106715395",
author = "Scott E. Thompson and Srivatsan Parthasarathy"
}
@article{Sun2010183,
title = "Reevaluating Amdahl’s law in the multicore era",
journal = "Journal of Parallel and Distributed Computing",
volume = "70",
number = "2",
pages = "183 - 188",
year = "2010",
note = "",
issn = "0743-7315",
doi = "10.1016/j.jpdc.2009.05.002",
url = "http://www.sciencedirect.com/science/article/pii/S0743731509000884",
author = "Xian-He Sun and Yong Chen",
keywords = "Multicore architecture",
keywords = "Scalability",
keywords = "Scalable computing",
keywords = "Memory wall"
}
@ARTICLE{Mulitcore4563876, 
author={Hill, M.D. and Marty, M.R.}, 
journal={Computer}, title={Amdahl's Law in the Multicore Era}, 
year={2008}, 
month={july }, 
volume={41}, 
number={7}, 
pages={33 -38}, 
keywords={Computer architecture;Costs;Energy management;Equations;Hardware;Multicore processing;Multiprocessor interconnection networks;Parallel processing;Pipelines;Roads;Amdahl's law;chip multiprocessors (CMPs);multicore chips;}, 
doi={10.1109/MC.2008.209}, 
ISSN={0018-9162},
}
@article{Weihl:1989:LAP:63264.63518,
 author = {Weihl, W. E.},
 title = {Local atomicity properties: modular concurrency control for abstract data types},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {April 1989},
 volume = {11},
 number = {2},
 month = apr,
 year = {1989},
 issn = {0164-0925},
 pages = {249--282},
 numpages = {34},
 url = {http://doi.acm.org/10.1145/63264.63518},
 doi = {10.1145/63264.63518},
 acmid = {63518},
 publisher = {ACM},
 address = {New York, NY, USA},
} 
@ARTICLE{DSM84877, 
author={Nitzberg, B. and Lo, V.}, 
journal={Computer}, title={Distributed shared memory: a survey of issues and algorithms}, 
year={1991}, 
month={aug. }, 
volume={24}, 
number={8}, 
pages={52 -60}, 
keywords={Data handling;Distributed computing;Memory management;data handling;distributed processing;storage management;DSM;coherence protocol;coherence semantics;data access;data location;distributed shared memory;granularity;heterogeneity;memory coherence;memory design choices;memory management;process synchronization;replacement strategy;scalability;thrashing;}, 
doi={10.1109/2.84877}, 
ISSN={0018-9162},
}
@inproceedings{Guerraoui:2008:CTM:1345206.1345233,
 author = {Guerraoui, Rachid and Kapalka, Michal},
 title = {On the correctness of transactional memory},
 booktitle = {Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming},
 series = {PPoPP '08},
 year = {2008},
 isbn = {978-1-59593-795-7},
 location = {Salt Lake City, UT, USA},
 pages = {175--184},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1345206.1345233},
 doi = {10.1145/1345206.1345233},
 acmid = {1345233},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {correctness, lower bound, model, transactional memory},
} 
@ARTICLE{MemoryConsistency546611, 
author={Adve, S.V. and Gharachorloo, K.}, 
journal={Computer}, title={Shared memory consistency models: a tutorial}, 
year={1996}, 
month={dec}, 
volume={29}, 
number={12}, 
pages={66 -76}, 
keywords={Computer architecture;Hardware;High level languages;Magnetic heads;Message passing;Optimizing compilers;Programming profession;Read-write memory;Software design;Tutorial;data integrity;parallel programming;shared memory systems;software performance evaluation;software portability;computer professionals;hardware-based shared memory systems;performance;performance-enhancing features;portability;program behavior;programmability;programmer-centric;relaxed consistency models;shared memory consistency models;system designers;system optimizations;system-centric;}, 
doi={10.1109/2.546611}, 
ISSN={0018-9162},
}
@inproceedings{SnapShot:Berenson:1995:CAS:223784.223785,
 author = {Berenson, Hal and Bernstein, Phil and Gray, Jim and Melton, Jim and O'Neil, Elizabeth and O'Neil, Patrick},
 title = {A critique of ANSI SQL isolation levels},
 booktitle = {Proceedings of the 1995 ACM SIGMOD international conference on Management of data},
 series = {SIGMOD '95},
 year = {1995},
 isbn = {0-89791-731-6},
 location = {San Jose, California, USA},
 pages = {1--10},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/223784.223785},
 doi = {10.1145/223784.223785},
 acmid = {223785},
 publisher = {ACM},
 address = {New York, NY, USA},
} 
@article{SnapShot2:Lin:2009:SII:1538909.1538913,
 author = {Lin, Yi and Kemme, Bettina and Jim{\'e}nez-Peris, Ricardo and Pati\~{n}o-Mart\'{\i}nez, Marta and Armend\'{a}riz-I\~{n}igo, Jos{\'e} Enrique},
 title = {Snapshot isolation and integrity constraints in replicated databases},
 journal = {ACM Trans. Database Syst.},
 issue_date = {June 2009},
 volume = {34},
 number = {2},
 month = jul,
 year = {2009},
 issn = {0362-5915},
 pages = {11:1--11:49},
 articleno = {11},
 numpages = {49},
 url = {http://doi.acm.org/10.1145/1538909.1538913},
 doi = {10.1145/1538909.1538913},
 acmid = {1538913},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Replication, integrity constraints, snapshot isolation},
} 
@article{Eventual:Vogels:2009:EC:1435417.1435432,
 author = {Vogels, Werner},
 title = {Eventually consistent},
 journal = {Commun. ACM},
 issue_date = {January 2009},
 volume = {52},
 number = {1},
 month = jan,
 year = {2009},
 issn = {0001-0782},
 pages = {40--44},
 numpages = {5},
 url = {http://doi.acm.org/10.1145/1435417.1435432},
 doi = {10.1145/1435417.1435432},
 acmid = {1435432},
 publisher = {ACM},
 address = {New York, NY, USA},
} 
@inproceedings{DeCandia:2007:DAH:1294261.1294281,
 author = {DeCandia, Giuseppe and Hastorun, Deniz and Jampani, Madan and Kakulapati, Gunavardhan and Lakshman, Avinash and Pilchin, Alex and Sivasubramanian, Swaminathan and Vosshall, Peter and Vogels, Werner},
 title = {Dynamo: amazon's highly available key-value store},
 booktitle = {Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles},
 series = {SOSP '07},
 year = {2007},
 isbn = {978-1-59593-591-5},
 location = {Stevenson, Washington, USA},
 pages = {205--220},
 numpages = {16},
 url = {http://doi.acm.org/10.1145/1294261.1294281},
 doi = {10.1145/1294261.1294281},
 acmid = {1294281},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {performance, reliability, scalability},
} 
@article{OptCon:Herlihy:1990:AVA:77643.77647,
 author = {Herlihy, M.},
 title = {Apologizing versus asking permission: optimistic concurrency control for abstract data types},
 journal = {ACM Trans. Database Syst.},
 issue_date = {March 1990},
 volume = {15},
 number = {1},
 month = mar,
 year = {1990},
 issn = {0362-5915},
 pages = {96--124},
 numpages = {29},
 url = {http://doi.acm.org/10.1145/77643.77647},
 doi = {10.1145/77643.77647},
 acmid = {77647},
 publisher = {ACM},
 address = {New York, NY, USA},
} 
@INPROCEEDINGS{PessCon:1311029, 
author={Nystrom, D. and Nolin, M. and Tesanovic, A. and Norstrdm, C. and Hansson, J.}, 
booktitle={Real-Time Systems, 2004. ECRTS 2004. Proceedings. 16th Euromicro Conference on}, title={Pessimistic concurrency control and versioning to support database pointers in real-time databases}, 
year={2004}, 
month={june-2 july}, 
volume={}, 
number={}, 
pages={ 261 - 270}, 
keywords={Concurrency control;Control systems;Database systems;Frequency;Real time systems;Relational databases;Resource management;Safety;Transaction databases;Vehicles; concurrency control; configuration management; formal verification; real-time systems; relational databases; transaction processing; concurrency control; database lock; database management system; database pointer; formally verification; real-time database; real-time system; relational database; resource constraint; safety critical system; versioning;}, 
doi={10.1109/EMRTS.2004.1311029}, 
ISSN={1068-3070},
}
@INPROCEEDINGS{faultReplic:1022297, 
author={Jimenez-Peris, R. and Patino-Martinez, M. and Kemme, B. and Alonso, G.}, 
booktitle={Distributed Computing Systems, 2002. Proceedings. 22nd International Conference on}, title={Improving the scalability of fault-tolerant database clusters}, 
year={2002}, 
month={}, 
volume={}, 
number={}, 
pages={ 477 - 484}, 
keywords={Availability;Broadcasting;Costs;Databases;Fault tolerance;Information systems;Middleware;Modems;Protocols;Scalability; client-server systems; fault tolerant computing; protocols; fault-tolerant database clusters; information systems; middleware based replication tool; scalability;}, 
doi={10.1109/ICDCS.2002.1022297}, 
ISSN={1063-6927},
}
@article{budhiraja1993primary,
  title={The primary-backup approach},
  author={Budhiraja, N. and Marzullo, K. and Schneider, F.B. and Toueg, S.},
  journal={Distributed systems},
  volume={2},
  pages={199--216},
  year={1993},
  publisher={Addison-Wesley}
}
@INPROCEEDINGS{ImpData840959, 
author={Wiesmann, M. and Pedone, F. and Schiper, A. and Kemme, B. and Alonso, G.}, 
booktitle={Distributed Computing Systems, 2000. Proceedings. 20th International Conference on}, title={Understanding replication in databases and distributed systems}, 
year={2000}, 
month={}, 
volume={}, 
number={}, 
pages={464 -474}, 
keywords={Broadcasting;Contracts;Distributed databases;Fault tolerant systems;Information systems;Laboratories;Mechanical factors;Protocols;Space exploration;Transaction databases;protocols;replicated databases;databases;distributed systems;replication;replication protocols;}, 
doi={10.1109/ICDCS.2000.840959}, 
ISSN={1063-6927},
}
@article{blundell2006subtleties,
  title={Subtleties of transactional memory atomicity semantics},
  author={Blundell, C. and Lewis, E.C. and Martin, M.M.K.},
  journal={Computer Architecture Letters},
  volume={5},
  number={2},
  pages={17--17},
  year={2006},
  publisher={IEEE}
}
@article{abadi2009transactional,
  title={Transactional memory with strong atomicity using off-the-shelf memory protection hardware},
  author={Abadi, M. and Harris, T. and Mehrara, M.},
  journal={ACM Sigplan Notices},
  volume={44},
  number={4},
  pages={185--196},
  year={2009},
  publisher={ACM}
}
@misc{moss2005nested,
  title={Nested transactional memory: Model and preliminary architecture sketches},
  author={Moss, E. and Hosking, T.},
  year={2005},
  publisher={Citeseer}
}
@inproceedings{Ni:2007:ONS:1229428.1229442,
 author = {Ni, Yang and Menon, Vijay S. and Adl-Tabatabai, Ali-Reza and Hosking, Antony L. and Hudson, Richard L. and Moss, J. Eliot B. and Saha, Bratin and Shpeisman, Tatiana},
 title = {Open nesting in software transactional memory},
 booktitle = {Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming},
 series = {PPoPP '07},
 year = {2007},
 isbn = {978-1-59593-602-8},
 location = {San Jose, California, USA},
 pages = {68--78},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/1229428.1229442},
 doi = {10.1145/1229428.1229442},
 acmid = {1229442},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {abstract locks, nested transactions, open nesting, transactional memory},
} 
@article{hundt2011loop,
  title={Loop Recognition in C++/Java/Go/Scala},
  author={Hundt, R.},
  journal={Proc. Scala Days},
  year={2011}
}
@MISC{continuation:wiki,
title = {Complete Context Control},
howpublished = {\url{http://www.gnu.org/software/libc/manual/html_node/System-V-contexts.html#System-V-contexts}},
note = {Accessed: 20/01/2013}
}
@article{saad2011transactional,
  title={Transactional forwarding algorithm},
  author={Saad, M.M. and Ravindran, B.},
  journal={ECE Dept., Virginia Tech, Tech. Rep},
  year={2011}
}
@inproceedings{alonso1997partial,
  title={Partial database replication and group communication primitives},
  author={Alonso, G.},
  booktitle={Proc. European Research Seminar on Advances in Distributed Systems},
  year={1997},
  organization={Citeseer}
}
@article{goldring1994discussion,
  title={A discussion of relational database replication technology},
  author={Goldring, R.},
  journal={InfoDB},
  volume={8},
  pages={2--2},
  year={1994},
  publisher={DATABASE ASSOCIATES INTERNATIONAL}
}
@incollection{Schneider93chapter7,
 author = {Schneider, Fred B.},
 chapter = {Replication management using the state-machine approach},
 title = {Distributed systems (2nd Ed.)},
 editor = {Mullender, Sape},
 year = {1993},
 isbn = {0-201-62427-3},
 pages = {169--197},
 numpages = {29},
 url = {http://dl.acm.org/citation.cfm?id=302430.302437},
 acmid = {302437},
 publisher = {ACM Press/Addison-Wesley Publishing Co.},
 address = {New York, NY, USA},
}
@ARTICLE{Checkpointing:1702129, 
author={Koo, R. and Toueg, S.}, 
journal={Software Engineering, IEEE Transactions on}, title={Checkpointing and Rollback-Recovery for Distributed Systems}, 
year={1987}, 
month={jan.}, 
volume={SE-13}, 
number={1}, 
pages={ 23 - 31}, 
keywords={Checkpointing;Computer science;Distributed algorithms;Distributed computing;Fault tolerance;Fault tolerant systems;Hardware;Resumes; Checkpoint; consistent state; distributed systems; fault-tolerance; rollback-recovery; Checkpoint; consistent state; distributed systems; fault-tolerance; rollback-recovery;}, 
doi={10.1109/TSE.1987.232562}, 
ISSN={0098-5589},
}
@MISC{langpop,
title = {Language popularity},
howpublished = {\url{http://www.langpop.com/}},
note = {Accessed: 20/01/2013}
}
@MISC{Phonixpp,
title = {The Phoenix System for MapReduce Programming},
howpublished = {\url{http://mapreduce.stanford.edu/}},
note = {Accessed: 20/01/2013}
}
@MISC{CloudStore,
title = {CloudStore:Mapreduce support in C++},
howpublished = {\url{http://en.wikipedia.org/wiki/CloudStore}},
note = {Accessed: 20/01/2013}
}
@MISC{Boost:MapReduce,
title = {Boost Library for Map-reduce},
howpublished = {\url{http://www.craighenderson.co.uk/mapreduce/}},
note = {Accessed: 20/01/2013}
}
@MISC{Sector:sphere,
title = {Sector/Sphere:High Performance Distributed File System and Parallel Data Processing Engine},
howpublished = {\url{http://sector.sourceforge.net/}},
note = {Accessed: 20/01/2013}
}
@MISC{llvm,
title = {The LLVM Compiler Infrastructure},
howpublished = {\url{http://llvm.org/}},
note = {Accessed: 20/01/2013}
}
@misc{gcc,
title = {GCC, the GNU Compiler Collection},
howpublished = {\url{http://gcc.gnu.org/}},
note = {Accessed: 20/01/2013}
}
